FooのサブクラスBar,Bazが定義されてないが、Haskellでは部分型は駄目なんだっけ?