Existential constraint

This is short gist about problem I run today into, and it's solution. It feels that probably I'm over engineering stuff, so: please comment!

How to write something like:

instance Renderable C where
    -- 'env' is existential here: for some 'env'
    type RenderableC C m = (MonadReader env m, HasUTCTime env)

    ...

Gist source

• 2025-02-13 – PHOAS to de Bruijn conversion
• 2025-02-11 – NbE PHOAS
• 2024-06-24 – hashable arch native
• 2024-05-28 – cabal fields
• 2024-04-21 – A note about coercions

twitter github email linkedin stackoverflow