@@ -0,0 +1,12 @@
+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