приходит объект, ключ k опциональный, но если он пришёл, то значение обязано быть строкой.
Соответственно, три случая:
1. если ключ есть и значение строка — (eitherDecode bs) :: Either String (Maybe MyObject) должен иметь значение Right (Just MyObject ...)
2. если ключ есть и значение не строка — (eitherDecode bs) :: Either String (Maybe MyObject) должен иметь значение Left "Error in $: k has invalid type"
3. если ключа нет — (eitherDecode bs) :: Either String (Maybe MyObject) должен иметь значение Right Nothing
Вообще желательно это делать в FromJSON. То есть нам пришёл объект, значением которого является другой объект, у которого может быть, а может и не быть ключа k
Вот, на примере: {"a": {}, "b": {"k": "123"}, "c": {"notK": 123}}. После парсинга такого объекта надо вернуть Map String MyObject.
Соответственно, если будет такая ситуация: {"a": {"k": 123}}, то парсер должен вернуть ошибку, а если ключа нет, то просто идти дальше
Maybe String поля и так декодируются как "нет поля, или обязательно строка" по умолчанию, что вас не устраивает?
Обсуждают сегодня