Type Class Instances

Type class instances are written with the instance keyword.

Instance ::= instance Generics Path TypeArgs? Where? { Def,+ }

Examples

{{#include ../../../arc-lang/examples/type-class.arc:instance}}