Fun with haskell and computation theory with coded register programs