Better types