semigroupoid instances and INLINEABLE for Moore