liquidhaskell-0.4.0.0: tests/pos/monad2.hs

module Monad () where

goo c = return c

foo = 
  do x <- Just 1
     y <- goo 3
     return $ x + y