@@ -200,6 +200,14 @@ instance Result TimeOfDay where
200 case makeTimeOfDayValid hours mins (fromIntegral secs) of
200 case makeTimeOfDayValid hours mins (fromIntegral secs) of
201 Just t -> return (pure t)
201 Just t -> return (pure t)
202 _ -> return (returnError ConversionFailed f "could not parse")
202 _ -> return (returnError ConversionFailed f "could not parse")
204+instance (Result a, Result b) => Result (Either a b) where
205+ convert f dat = case convert f dat of
206+ Right x -> Right (Right x)
207+ Left _ -> case convert f dat of
208+ Right x -> Right (Left x)
203newtype Compat = Compat Word64
211newtype Compat = Compat Word64
205mkCompats :: [BuiltinType] -> Compat
213mkCompats :: [BuiltinType] -> Compat