Types.hs

data ConditionValues a b c = I a | T b | S c
  deriving (Eq, Ord, Read, Show)

instance (ToJSON a, ToJSON b, ToJSON c) => ToJSON (ConditionValues a b c) where
  toJSON (I a)  = toJSON a
  toJSON (T b)  = toJSON b
  toJSON (S b)  = toJSON b
instance (FromJSON a, FromJSON b, FromJSON c) => FromJSON (ConditionValues a b c) where
  -- parseJSON f = I <$> parseJSON f