Haskell inheritance, data, constructor

data One = One {oneVelocity :: Velocity, onePosition :: Position, (((other properties unique to One))))
data Two = Two {twoVelocity :: Velocity, twoPosition :: Position, (((other properties unique to Two)) ))
data Three = Three {threeVelocity :: Velocity, threePosition :: Position, (((other properties unique to Three))))

data MovingObj s = MovingObj
 {velocity :: Velocity
, position :: Position
, specifics :: s }

advance :: TimeStep -> MovingObj s -> MovingObj s
advance h (MovingObj vps) = MovingObj v (p .+^ h*^v) s

So I want to play/homework for my Asteroids Define multiple data classes:

data One = One {oneVelocity :: Velocity, onePosition :: Position, (((other properties unique to One)))} 
data Two = Two {twoVelocity :: Velocity, twoPosition :: Position, (((other properties unique to Two))))
data Three = Three {threeVelocity :: Velocity, threePosition :: Position, (((other properties unique to Three))))

As you can see, I have multiple data classes with overlapping properties (speed, position). This also means that I have to Classes are given different names (“oneVelo city”,”twoVelocity”,……).

Is there a way to expand these types of data? I thought about using a data type with multiple constructors, but some of these current data classes are very different, and I shouldn’t store them in a data class with multiple constructors.

You should only use a single data type for all of these, but the specific details of parameterization:

data MovingObj s = MovingObj
 {velocity :: Velocity
, position :: Position
, specifics :: s }

Then you can create for example asteroid :: MovingObj AsteroidSpecifics, but You can also write functions suitable for any such moving objects

advance :: TimeStep -> MovingObj s -> MovingObj s
advance h (MovingObj vps) = MovingObj v (p .+^ h*^v) s