1{-# LANGUAGE LinearTypes #-} 2module Pr110 where 3 4data Bloop = Bloop Bool 5 6g :: Bloop %1 -> Bool 7g (Bloop x) = x 8 9h :: Bool %1 -> Bloop 10h x = Bloop x 11 12