*

Axiom: A TypeClassRule is a type of Rule.
Axiom: A TypeClassRule is a type of Rule.
Key: 42
From Term: TypeClassRule
Predicate: type-of
To Term: Rule
Commentary: A type/class rule is a type of rule.
Status: Create example
Image: