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

module ReturnStrata00 where

bar :: IO () 
bar = if True then return () else undefined