A haskell type that can be anything in the language.