try adding more shrink implementations