Sylvain

TcTypeNats still exists in compiler/typecheck/

An omission?

Simon