module HieSource.T4 where

t4A :: a -> b -> Either a b
t4A = undefined

t4B :: b -> a -> Either a b
t4B = undefined