pub fn prism_ty() -> Expr
Prism : Type → Type → Type
(preview: S → Option A, review: A → S) — partial / sum type focus.