robrix
Type mismatch errors are thrown by the constraint solver and thus don’t have a context. This means that there isn’t a lot of information to go on: <img width="399" alt="screen shot 2019-01-13 at 11 17 03 am" src="https://user-images.githubusercontent.com/59671/51087718-cb627680-1724-11e9-969a-9ec2efcb5f2d.png"> cf #76