Refine type further