pub fn comonad_ty() -> Expr
Comonad : (Type → Type) → Type
A comonad W with extract : W A → A and extend : (W A → B) → W A → W B.