A haskell typeclass that includes _all_ types.