setCurrentPosition p@E.Platform {E.platformPosition = Left _} newPos =
   p {E.platformPosition = Left newPos}
setCurrentPosition p@E.Platform {E.platformPosition = Left _} newPos =
   p {E.platformPosition = Left newPos}
setCurrentPosition p@E.Platform {E.platformPosition = Left _} newPos =
   p {E.platformPosition = Left newPos}