--(encode)->
構造を持つ値 平坦な値
<-(decode)--

--(pretty print)->
構造を持つ値 平坦な値
<-(parse)--

みたいな感じ。pretty printとかencodeは基本的な失敗がないのに対して、decodeとかparseにはerrorがあり得る。

ppr :: Value -> String
encode :: Value -> Binary

parse :: String -> Maybe Value
decode :: Binary -> Maybe Value