tyArgs :: Type -> [(String, Type, [A.ParameterAttribute])]
tyArgs (FunctionType _ args False) = zip3 (repeat "") args (repeat [])
tyArgs :: Type -> [(String, Type, [A.ParameterAttribute])]
tyArgs (FunctionType _ args False) = zip3 (repeat "") args (repeat [])
tyArgs (FunctionType _ args False) = zip3 (repeat "") args (repeat [])