Proglang

Recursion schemes in a ML style language