Available subtypes: Instruction, Construction.
The only one polymoprhic primitive that is not a functor.
It comes from a definition of fixed point.