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