MyClass a => a

myclass.hs

class MyClass a where
  value :: a
  
instance MyClass Char where
  value = 'a'

instance MyClass Int where
  value = 5

something :: MyClass a => a
something = value