Вроде бы список — это монада, и списковые дополнения всего лишь сахар над ними.
А можно ли на Haskell-е сделать собственый список, чтобы с ним работали списковые дополнения?

Например специальный тип сортированного списка, для которого код

[x | x <- xs, x > 5]

вызывал бы бинарный поиск первого элемента > 5 и отдавал начиная с него.