Есть меня у ветвление на типах вида mkIf :: Proxy t -> a -> b -> If t a b (реализовано классом). И всё бы хорошо, но при таком подходе все констрейнты a и b просачиваются в итоговую функцию, что особенно занятно, когда они примерно противоположны.