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