type R = Double type Time = R type TimeInterval = R type Position = R type Velocity = R type PositionFunction = Time -> Position type VelocityFunction = Time -> Velocity positionCV :: Position -> Velocity -> Time -> Position positionCV x0 v0 t = v0 * t + x0
