equateContexts :: forall a . Eq a => TEContext a -> TEContext a -> Equations
equateContexts [] _ = empty
equateContexts :: forall a . Eq a => TEContext a -> TEContext a -> Equations
equateContexts [] _ = empty
equateContexts [] _ = empty