That does not type check. Rephrase?