type constructor linting