Add Nat.hs.
Fiddle with parameters for the example.