...

class Vehicle a where

data Car

data Truck

instance Vehicle Car where

instance Vehicle Truck where

Now you can have things that take a Car or a Truck or they can take a Vehicle instead.

moveVehicle :: Vehicle v => v -> Simulation ()

Jason