я написал такую штуку https://pastebin.com/jGFzxNkg , оно не собирается, и это понятно: в моей версии libstdc++ операции с вектором не constexpr, а в libc++ operator!= у итера...
кстати, раз тут сноймана вспомнили. какое у местных экспертов мнение об MonadUnliftIO?
хм. а нет ссылки, где можно прочитать про применение бэкпака для этого?
а, это в смысле делать что-то типа deriving Semigroup via (T a) ?
т.е. это просто бред и непонятно почему работает?
а что за .Safe модули?
а что за чекер?