orsList :: [Operator]
operatorsList = F.theoryOperatorsList ++ A.theoryOperatorsList

pars
operatorsList :: [Operator]
operatorsList = F.theoryOperatorsList ++ A.theoryOperatorsList
operatorsList = F.theoryOperatorsList ++ A.theoryOperatorsList