module Prelude where

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