liquidhaskell-0.8.10.7: tests/pattern/pos/Return00.hs

module Return00 where



{-@ silly :: (Monad m) => m Int @-}
silly :: (Monad m) => m Int
silly = return 0