Type of ^ can't be inferred from context; need to be explicit