correct typo
ordinary type constructors with higher rank types