[Haskell00 p212]
[ObjC00 p12+]