class Foo a where
    foo :: a

x :: Double
x = foo

--
6:5-6:8: Constraint <Foo Double> is not given and cannot be derived.