--- /dev/null
+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.
\ No newline at end of file