Debut type checker