Less voluminous error when derived code doesn't typecheck