Добрый вечер. Есть у меня структура данных, пусть для примера

Question

Добрый вечер. Есть у меня структура данных, пусть для примера

определена так:
data JSON = I Int | S String | L [JSON] | D Map String JSON
Мне приходят пользовательские данные и нужно спарсить оттуда структуру, например, я знаю, что JSON у меня должен иметь вид:
{
"field1" : "value1",
"filed2": {
"field3": 123,
"field4": "value4"
}
}
В коде я хочу получить что-то вроде
data Struct = Struct { field1 :: String, field3 :: Int, field4 :: String }
Для этого мне нужно проверять типы полей в этой JSON-е. Если я ожидаю, что поле Int, то нужно проверить, что там действительно Int, а не что-либо ещё. Первое решение, которое пришло в голову это четыре вспомогательные функции такого вида:

i :: JSON -> Either String Int
i (Int int) = Right int
i _ = Left "Error, expected Int"
Насколько это хорошее решение и если плохое, то как можно это сделать лучше?