O

occurrence-typing