1 2 3 4 5 6
Type error: --> 1:1 | 1 | constructors < Left : Natural | Right : Bool >␊ | ^----------^ | = Unbound variable