1.2. Redefinition

KerMeta does not support operation specialization but only invariant operation overriding.