{"name":"gist: 878050","desc":"","actor":"konn","url":"https://gist.github.com/878050","snippet":"X* mans \"a list of Type X\"\n\nfoldl : ∀X. ∀Y. (X → Y → X) → X → Y* → X","actor_gravatar":"717e56bac925ce2db1e6f1cf7708056d","action":"update"}