tcfail017.hs:10:
    Could not deduce `C [a]' from the context (B a)
    Probable fix:
	Add `C [a]' to the instance declaration context
	Or add an instance declaration for `C [a]'
    arising from an instance declaration at tcfail017.hs:10