-- Hello
a = a

-- Hello
-- Hello
a = a

-- Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello Hello
a = a

{-
Hello
-}
a = a

type Maybe a = forall r. (a -> r) -> r -> r -- foo bar zot sdfs zot
                                            -- sdfs zot sdfs zot sdfs
                                            -- zot sdfs zot sdfs zot
                                            -- sdfs zot sdfs zot sdfs

type Maybe a = 
  forall r. (a -> r) 
            -> r 
            -> r -- foo bar zot sdfs zot sdfs zot sdfs zot sdfs zot
                 -- sdfs zot sdfs zot sdfs zot sdfs zot sdfs