In constraintKindArgs we previously defaulted any missing kind annotation to kindType, which ended up filling missing kind annotations with an application @Type. This is now set to an empty list.
I've also bumped the version in the .cabal file so this can be released. I can do that in a separate commit, though, if desired.
In
constraintKindArgswe previously defaulted any missing kind annotation tokindType, which ended up filling missing kind annotations with an application@Type. This is now set to an empty list.I've also bumped the version in the .cabal file so this can be released. I can do that in a separate commit, though, if desired.