class Super a where
    super :: a

class Super a => Sub a

blah :: Sub a => a
blah = _