Is this the right way to express your type?