inventory-0.1.0.0: test/HieSource/T7.hs
module HieSource.T7 where t7A :: (a, b -> c) -> (a -> b, ()) -> c t7A = undefined t7B :: (a -> b, ()) -> (a, b -> c) -> c t7B = undefined t7C :: (a -> c, ()) -> (a, b -> c) -> c t7C = undefined
module HieSource.T7 where t7A :: (a, b -> c) -> (a -> b, ()) -> c t7A = undefined t7B :: (a -> b, ()) -> (a, b -> c) -> c t7B = undefined t7C :: (a -> c, ()) -> (a, b -> c) -> c t7C = undefined