<div dir="ltr">foldr is supposed to start folding from the right side (as the name suggests).<div>and this is why it is synonymous to "list construction" as I'm told</div><div><br></div><div>for e.g:</div><div>> foldr (:) [ ] [1,2,3,4,5]</div><div>[1,2,3,4,5]</div><div><br></div><div>In the same spirit I'm trying to construct a Foldable instance of my own type:</div><div><br></div><div>data Li a = Nil | Cons a (Li a)</div><div>    deriving (Show)</div><div><br></div><div>instance Foldable Li where</div><div>    foldr f b Nil = b</div><div>    foldr f b (Cons a y) = foldr f (f a b) y</div><div><br></div><div>So I'm trying out foldr for my type:</div><div>> foldr Cons Nil (Cons 1 (Cons 2 Nil))</div><div>Cons 2 (Cons 1 Nil)</div><div><br></div><div>This shows my foldr implementation i'm not folding from right side, </div><div>but how can I possibly do that - the data could have been an infinite stream.</div><div>It feels like I will never be able to truly write a foldr implementation with "right" folding mechanism.</div><div><br></div><div>Any thoughts?</div><div><br></div></div>