работать? Вам нужно поматчить тип списка, который в рантайме уже стерт. Вы никак не сможете узнать, [] там или x:xs, если не притащите синглтон в том или ином виде (Typeable например)
Так матчинг инстансов же происходит в компилтайме?
Обсуждают сегодня