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-04-18 – What makes a good compiler warning?
• 2024-04-12 – Core Inspection
• 2024-04-01 – Implicit arguments
• 2024-03-17 – ST with an early exit
• 2024-02-27 – More QualifiedDo examples

twitter github email linkedin stackoverflow