[Haskell-cafe] Detecting Cycles in Datastructures

[Henning Thielemann]

On Fri, 18 Nov 2005, Paul Hudak wrote:

> For example:
>
>> fe1,fe2 :: Fix Expr
>> fe1 e = Add (Const 1) (Const 1)  -- non-recursive
>> fe2 e = Add (Const 1) e          -- recursive

Do you mean

fe1 _ = Add (Const 1) Loop

?