idris-1.3.3: test/pkg007/expected.out

(True, "VROOOOM", Pedal) : (Bool, String, CarPart)