hscope-0.1: t/files/garrs.hs

data G a where
    A :: a -> G Int
    B :: b -> G Bool

g :: Int -> Int
g proc = proc + 1