Type error:  --> 1:1
  |
1 | constructors < Left : Natural | Right : Bool >␊
  | ^----------^
  |
  = Unbound variable