proper typing