partial functions with Kleisli init
implements composition
implements safe_reciprocal; implements identity