λ(semigroupal : ./Sort) → semigroupal.{ arrow }