module Prelude where

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