module M where

data Dict c where
  Dict :: c => Dict c

foo :: Dict (Eq Int)
foo = Dict