module Foo where

class Wombat foo bar baz 

data WrappedFoo bar baz = forall foo . Wombat foo bar baz =>
   WrappedFoo foo

class Wombat (WrappedFoo bar baz) bar baz