module {
    features = [edo]
}

import "StandardLibrary"

example :: () -> Maybe Integer
example _ = edo
    str <- Just "a"
    let print str in Nothing
    
main = example ()
--
10:9-10:18: Side-effect Proc is forbidden here.