Change kind specificities for generics
Motivation
When using TypeApplications
with GHC.Generics
, it's useful to specify the types explicitly. It's not so useful to specify the kinds explicitly. For example, to1 @Maybe
would be helpful, but actually you have to write to1 @_ @Maybe
, or to1 @Type @Maybe
, to do that.
Proposal
Write kind signatures for Generic1
and the Generic
components to mark kinds inferred:
type Generic1 :: forall {k}. (k -> Type) -> k -> Type
type K1 :: forall {k}. Type -> Type -> k -> Type
-- et cetera