showType :: (IsFirstClass a) => TType a -> String
showType (TTypeArr t _) = showType t
showType :: (IsFirstClass a) => TType a -> String
showType (TTypeArr t _) = showType t
showType (TTypeArr t _) = showType t