1 2 3 4 5 6
Type error: error: unbound variable `constructors` --> <current file>:1:1 | 1 | constructors < Left : Natural | Right : Bool > | ^^^^^^^^^^^^ not found in this scope |