опа а с каких пор type family можно экспортировать как "type (<operation>)"?
я даже не заметил как от слов перешли к делу и уже дерево распространяется и как squashfs и diff-ы
неожиданно наткнулся на забавную книжку по haskell "The Fun Of Programming". непрямая ссылка: conal.net