bug in typeclass resolution: it was failing when an instance was not found