The files in this directory demonstrate errors
found by the type checker.

They are used for showing what errors look like,
and for debugging error handling.

Therefore, please do not "fix" these files!