хотите обсудить это? проблема в том, что нельзя добавить щеночка в Хаскеле к котикам. Если не использовать так ругаемый всеми Dynamic. А без него - здравствуй расширение типа на тип-сумму, или Either-монада или еще что - с последующим переписыванием всего (!) завязанного на этот список кошек кода, добавлением монадических интерфейсов и прочего.