/Я language (β)/Primitives/Fixed/

Available subtypes: Instruction, Construction.

The only one polymoprhic primitive that is not a functor.

It comes from a definition of fixed point.