Loading diag-iso-bad.disco...
While checking diag-iso-bad.diagIso':
  Error: typechecking failed.
  https://disco-lang.readthedocs.io/en/latest/reference/typecheck-fail.html
Error: typechecking failed.
https://disco-lang.readthedocs.io/en/latest/reference/typecheck-fail.html