-- The type variable from the dict fun actually scope
-- over the bindings. They were gotten from
-- the original instance declaration
-- The type variable from the dict fun actually scope
-- over the bindings. They were gotten from
-- the original instance declaration