{"nibbles_version":"0.23","commenter_version":"0.1.2.181","code":{"lit":"-","desc":"subtract","type":"int","childs":[{"lit":"/","desc":"foldr1","type":"int","childs":[{"lit":"_","desc":"= ints","type":"[int]"},{"lit":"@","desc":"= A","type":"int","args":[{"desc":"B","type":"int"},{"desc":"A","type":"int"}]}]},{"lit":"/","desc":"foldr1","type":"int","childs":[{"lit":"_","desc":"= ints","type":"[int]"},{"desc":"implicit arg = D","type":"int","args":[{"desc":"D","type":"int"},{"desc":"C","type":"int"}],"passed":1}],"passed":1}],"passed":1}}