Construct a ValueK from a covariant higher kinded type.
Construct a ValueK of a constant.
Construct a ValueK from a contravariant higher kinded type.