[ issue 1156 ] Removed Agda.Utils.Monad.bracket

The function generates a warning with mtl 2.2.1.
[ issue 1156 ] Cosmetic changes
Merge branch 'maint-2.4.2'