-
Simon Peyton Jones authored
In generalising :kind to :kind! I managed to make it work only for types of kind *, which is a bit stupid. This fixes it. Regression test coming.
570cab3f
In generalising :kind to :kind! I managed to make it work only for types of kind *, which is a bit stupid. This fixes it. Regression test coming.