Type checking ./TestTracing.idr
TestTracing: Check
Prelude.Bool: Check