expected

Loading types-rec.disco...
Loading product.disco...
Loaded.
Error: typechecking failed.
https://disco-lang.readthedocs.io/en/latest/reference/typecheck-fail.html