The need for these sometimes arises in the presence of polymorphic recursion.