Полезно жаловаться.

[thesz]

Сейчас сделал попытку пожаловаться в журнале на нехватку мощности Хаскеля и обнаружил у себя ошибку. ;)

Тоже полезный результат.

Template Haskell не умеет работать с семействами типов, поэтому вот такой код он создать не в состоянии:
instance Nat sz => Size (SInt sz) where

Comments

[helvegr]

В 6.12 умеет.

http://hackage.haskell.org/trac/ghc/ticket/1673

[thesz]

Когда появится, тогда перепишу. ;)

А пока и так неплохо. ;)