path: root/testsuite/tests/linear/should_compile/Pr110.hs

{-# LANGUAGE LinearTypes #-}
module Pr110 where

data Bloop = Bloop Bool

g :: Bloop #-> Bool
g (Bloop x) = x

h :: Bool #-> Bloop
h x = Bloop x