enum Identity[a: Type] with Eq, Order, ToString, Hash, Sendable
case Identity(a)
The Identity Functor / Monad.