idris-0.12.3: test/pkg007/expected

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