5 instance _forall_ [a b c d] => {Outputable.Outputable (HsExpr a b c d)} = $d1;
6 instance _forall_ [a b c d] => {Outputable.Outputable (Stmt a b c d)} = $d2;
8 1 $d1 _:_ _forall_ [a b c d] => {Outputable.Outputable (HsExpr a b c d)} ;;
9 1 $d2 _:_ _forall_ [a b c d] => {Outputable.Outputable (Stmt a b c d)} ;;
10 1 data HsExpr a b c d;