+
+
+--================================================================================
+Typechecked:
+`Bar' =
+ `\ tpl ->
+ Bar {tpl}'
+`Y' =
+ `Y {}'
+AbsBinds [] [] [([], `$d1', `d.Eval')]
+ `d.Eval' =
+ ({-dict-} [] [])
+AbsBinds [] [] [([], `$d2', `d.Eval')]
+ `d.Eval' =
+ ({-dict-} [] [])