abstract Of types with a monomorph as type constructor become dynamic