In GHC 8.8, TypeApplications can be used to apply kinds that were before unavailable. Unfortunately, this breaks the code in places where we were already using applications but the kind wasn't there. In order to make the code work with previous versions of ghc as well, we introduce explicit type proxies.
In GHC 8.8,
TypeApplicationscan be used to apply kinds that were before unavailable. Unfortunately, this breaks the code in places where we were already using applications but the kind wasn't there. In order to make the code work with previous versions of ghc as well, we introduce explicit type proxies.Fixes #16