test :: TType a -> TType b -> Maybe (Equal a b)
test TTypeInt      TTypeInt     = return Eq
test :: TType a -> TType b -> Maybe (Equal a b)
test TTypeInt      TTypeInt     = return Eq
test TTypeInt      TTypeInt     = return Eq