Type checks again