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