A strong typed Genetic Programming written in Haskell via module Data.Dynamic