Infer.canonize_context now canonizes the whole type scheme.
Infer.canonize_context now canonizes the whole type scheme.

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