liquidhaskell-0.9.0.2.1: tests/pos/Monad2.hs

module Monad2 () where

goo c = return c

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