pprKind prints asterisks even they are deprecated.
E.g.
ghci> :kind! Functor
Functor :: (* -> *) -> Constraint
= Functor
however
ghci> :kind! (* -> *)
<interactive>:1:2: warning: [-Wstar-is-type]
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
<interactive>:1:7: warning: [-Wstar-is-type]
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
(* -> *) :: *
= * -> *