Skip to content

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.
(* -> *) :: *
= * -> *
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information