'refine' finds typeclass instances where 'apply' doesn't.