Just out of curiosity - has Ellerman published any profunctor-based updates to his het works?