inventory-0.1.0.0: test/HieSource/T11.hs
{-# LANGUAGE RankNTypes #-}
module HieSource.T11 where
t11A :: a -> (b -> Int) -> a
t11A = undefined
t11B :: a -> (forall b. b -> Int) -> a
t11B a _ = a
{-# LANGUAGE RankNTypes #-}
module HieSource.T11 where
t11A :: a -> (b -> Int) -> a
t11A = undefined
t11B :: a -> (forall b. b -> Int) -> a
t11B a _ = a