Persecの仕組みが知りたかったのですが、
Haskel知らないととダメということならあきらめます。
ありがとうございました。