notation for coproduct
pointed functions involving unit
fix, make something private