Как избежать подъема с помощью преобразователей монад

У меня проблема, связанная со стеком преобразователей монад (или даже одним преобразователем монад) над IO . Все хорошо, кроме того, что пользоваться лифтом перед каждым действием ужасно надоедает! Я подозреваю, что с этим действительно нечего делать, но я все равно подумал, что спрошу.

Мне известно о снятии целых блоков, но что, если код действительно смешанного типа? Было бы неплохо, если бы GHC добавил немного синтаксического сахара (например, <- $ = <- lift )?