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