Typechecking errors don’t tell you the line and column #3
Description
I think we’re going to want to use a Cofree structure for Expr to accomplish this.
{{ message }}
I think we’re going to want to use a Cofree structure for Expr to accomplish this.