pub fn cps_transform_ty() -> Expr
CpsTransform : Type → Type → Type
CPS transform: A → ((A → R) → R).