Input Program

Monomorphized Program

 Monomorphize while I type
Desugared Program
Constraints
Solution