I think it's a fixed point in the lattice of operational systems.

usually OSes are modeled or encoded as co-things .. but I'm not a haskeller so wait and see.