liquidhaskell-0.4.0.0: tests/pos/PlugHoles.hs

module PlugHoles where

{-@ (>>=) :: m a -> (a -> m b) -> m b @-}