Open wende opened 7 years ago
t : (Int, Type -> Type)
Won't work unless a function is wrapped in parens
t : (Int, (Type -> Type))
Won't work unless a function is wrapped in parens