Instructions: You may not change the test files You may only edit the function bodies All tests must pass Follow output formats exactly ...

Since GADTs can accurately represent the type differences between the cases n=0 (no point) and n=1 (single-pointed) in Haskell, providing arity-dependent structure at the type level, the following ...