1class Super a where
2    super :: a
3
4class Super a => Sub a
5
6blah :: Sub a => a
7blah = _
8
9