semigroupoid Plan instances