Например у тебя есть сырые данные json {A: "a", "B": "b", "C": "c"} нужно это декодить в какую-то структуру, которая удостоверяет что все значения ключей T там присутствуют, и соответственно может возвращать уже значение без Maybe
Тогда надо какой-нибудь гетерогенный кортеж, в котором во время компиляции можно доказать, что ключ есть. Но это только в хаскелле можно, наскролько я помню