When the type constructor accepts parameters the rule checker= considers them as missing. Consider this example:
type Route
= Root
| Home
| UserDetails Int
allRoutes : Int -> List Route
allRoutes userId =
[ Root
, Home
, UserDetails userId
]
In this example, it complaints that UserDetails
constructor is not present. It would be great that it realized that there is a UserDetailts. Does it look consistent with what you want to achieve?