comboSubs :: Maybe Substitution -> Maybe Substitution -> Maybe Substitution
--the context of this function makes the first argument be (Just _)
comboSubs _ Nothing                     = Nothing
comboSubs :: Maybe Substitution -> Maybe Substitution -> Maybe Substitution
comboSubs _ Nothing                     = Nothing
comboSubs _ Nothing                     = Nothing