--- /dev/null
+import "Prelude" hiding (while)\r
+\r
+while :: Maybe Boolean -> Maybe a -> Maybe ()\r
+while condM bodyM = mdo\r
+ cond <- condM\r
+ if cond \r
+ then bodyM >> while condM bodyM\r
+ else return ()\r
+\r
+main = "FOO"\r
+--\r
+FOO
\ No newline at end of file