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

• 2024-06-24 – hashable arch native
• 2024-05-28 – cabal fields
• 2024-04-21 – A note about coercions
• 2024-04-18 – What makes a good compiler warning?
• 2024-04-12 – Core Inspection

twitter github email linkedin stackoverflow