[...]
Tietorakenteiden määrittelystä lambdakalkyylissa: http://sange.fi/~atehwa/lambda-kurssi/luento6.html