module Categorical::Concerns