Instead of writing
mlets x=T0: mlets y=T1: A
mlets x=T0, y=T1: A
A mlets x=T0, y=T1.
Multiple bindings can be merged.