type check let