Issue error message when typechecker finds unbound type variable
Issue error message when typechecker finds unbound type variable

matijapretnar/eff,matijapretnar/eff,matijapretnar/eff,matijapretnar/eff,matijapretnar/eff