>>65
> 関数適用についてはGenericsではペーパーの議論レベルって事ね。
GHCに実装されてるよ。

>>66
Mathematicaはこれとか
http://documents.wolfram.com/v5/TheMathematicaBook/PrinciplesOfMathematica/Expressions/2.1.1.html

>>64では"Head[a, b, c, ...]"でなく"Tag[a, b, c, ...]"
と書くべきだったな。

Derivable Type Classは、例えばこういうリストを
> data Data a = A a (AA a) (AAA a) | B a | C | D
((a * ((AA a) * (AAA a))) + (a + (1 + 1)))
のような直積と直和と考えて帰納的に操作するって感じ。
ペーパーは
http://research.microsoft.com/~simonpj/Papers/derive.htm