idris-1.3.3: test/pkg007/input.in

:module Toy
:module Toy.Vehicle
:module Toy.Vehicle.Car
(toysAreGreat, carNoise, Pedal)