:load expl/Examples.hs
:set +simplify
:set +accum
:generalise pow2
:test pow2 on "let toNat x = iterate S Z !! x in pow2 (toNat 4) == (toNat 16)"
:test pow2 on "let toNat x = iterate S Z !! x in pow2 (toNat 5) == (toNat 32)"
:test pow2 on "let toNat x = iterate S Z !! x in pow2 (toNat 6) == (toNat 64)"
:quit
