Encoding enumeratum enums with morphling

yik.sc

case class TEnum[P[_], R, A](repr: P[R], ve: ValueEnum[R, A])(implicit val ev: A <:< ValueEnumEntry[R]) extends TType[P, A]

..

def tEnum[I, E](repr: Schema[TSchema, I], ve: ValueEnum[I, E])(implicit ev: E <:< ValueEnumEntry[I]): Schema[TSchema, E] =
      prim(HMutu(TEnum(repr, ve)))
      
..

override val encoder: TSchema ~> Encoder = new (TSchema ~> Encoder) {
      override def apply[A](ts: TSchema[A]): Encoder[A] = ts.unmutu match {
        ...
        
        case te: TEnum[Schema[TSchema, ?], r, A] =>
          te.repr.encoder.contramap[A](a => te.ev(a).value)
      }
    }