
tcfail041.hs:9:10:
    Unbound implicit parameter (?imp::Int)
      arising from the superclasses of an instance declaration
    In the instance declaration for `D Int'

tcfail041.hs:10:21:
    Unbound implicit parameter (?imp::Int)
      arising from a use of implicit parameter `?imp'
    In the second argument of `(+)', namely `?imp'
    In the expression: x + ?imp
    In an equation for `methodD': methodD x = x + ?imp
