missionDisplay f alleg (SecretMessageMission tgt) = do
  missionDisplayGeneric f alleg ["There's a spy of ours currently residing",
                                 "on the foreign planet of " ++ tgt ++ ".",
                                 "You must bring him a secret message."]
missionDisplay f alleg (SecretMessageMission tgt) = do
  missionDisplayGeneric f alleg ["There's a spy of ours currently residing",
                                 "on the foreign planet of " ++ tgt ++ ".",
                                 "You must bring him a secret message."]
missionDisplay f alleg (SecretMessageMission tgt) = do
  missionDisplayGeneric f alleg ["There's a spy of ours currently residing",
                                 "on the foreign planet of " ++ tgt ++ ".",
                                 "You must bring him a secret message."]