Вариант использования полиморфизма ранга 3 (или выше)?

Я видел несколько вариантов использования полиморфизма ранга 2 (наиболее ярким примером является монада ST ), но ни одного для более высокого ранга, чем этот. . Кто-нибудь знает о таком варианте использования?