Add section on polymorphic continuations.