T8912.hs:7:10:
    Illegal implicit parameter ‘?imp::Int’
    In the context: ?imp::Int
    While checking an instance declaration
    In the instance declaration for ‘C [a]’