module Prelude where

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