checkArrived :: String -> String -> String -> Int -> [String] -> StateT SpaceState IO ()
checkArrived tgt planetname alleg pts str = 
  when (tgt == planetname) (onActualArrival alleg pts str)
checkArrived :: String -> String -> String -> Int -> [String] -> StateT SpaceState IO ()
checkArrived tgt planetname alleg pts str = 
  when (tgt == planetname) (onActualArrival alleg pts str)
checkArrived tgt planetname alleg pts str = 
  when (tgt == planetname) (onActualArrival alleg pts str)