не писать питонокод в хаскеле
В присутствии полиморфных вызовов приходится использовать не совсем безопасный код. Но в тестах это ок, потому что если тест крашится, его нужно чинить в любом случае. В коде бизнес-логики, конечно, такого быть не должно. Альтернатива, к сожалению, почти нереализуема. Нужны гетерогенные списки какие-нибудь