module Prelude where

data (,,,,,,) a b c d e f g = (,,,,,,) a b c d e f g
  deriving (Eq, Ord, Bounded)