Как могут быть реализованы дыры и контексты для типов с более высоким родом в одноплатной библиотеке стиля линзы?

Андраш Ковач предложил этот вопросв ответ на ответ на предыдущий вопрос.В одноплатной библиотеке в стиле линз для разных видов