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