[experiment] Parser from unityped data representation to Haskell data structure