module Proposal
  (
  ) where


class Flag a where
  compatibleFlag :: a -> a -> Bool