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

-- TODO-REBARE: return-strata? 

module Monad where


-- create :: Int -> (Ptr Word8 -> IO ()) -> IO ByteString
create l = do
    fp <- mallocByteString l
    return ()

data P a = P a

mallocByteString :: a -> IO (P a)
mallocByteString l = undefined