class ContainsInteger a where
  isInteger :: a -> Bool