[ issue 1269 ] Replaced (>>=) by (<<=)

See https://github.com/agda/agda/commit/65f5cd82a2d5654e944f7ee9b0719539897b8daa#commitcomment-7982607.
Merge branch 'maint-2.4.2'