Groupoid, PartialMonoid and Semigroupoid.
PartialAction.