[] and (:) are not TyConApps but rather TypeConstructors
[] and (:) are not TyConApps but rather TypeConstructors
curries tyconapps