idris-0.12.3: test/pkg007/toy/Toy/Vehicle/Car.idr

module Toy.Vehicle.Car

data CarPart = Wheel | Pedal | Window