[Haskell] Fixpoint combinator without recursion

Albert Y. C. Lai trebla at vex.net
Thu Apr 5 15:31:44 EDT 2007

Dan Weston wrote:
> What is it called if it's both?

Then we say "the argument occurs in both positive and negative 
positions" or "the argument occurs in both covariant and contravariant 
positions". There doesn't seem to be a shorter name. I want to note that 
this kind of thing drives OOP crazy.

More information about the Haskell mailing list