8 replies

Default `never` for Covariant Type Parameters in `Kind`

I'm defining a Monad with a Covariant parameter but noticed that

of

of

of

of defaults to

never

never

never

never for the covariant type params in

Kind

Kind

Kind

Kind. Why is it not

unknown

unknown

unknown

unknown instead? Am I mistaken in even trying to define a Covariant type?