> Is there a shorter way to write the if-then-else part below? > if (cmdType cmd) /= (CmdSitError Server) > then return $ Just seat_num > else return Nothing return $ if cmdType cmd /= CmdSitError Serv then Just seat_num else Nothing Arjan