目前我正在学习Haskell，在宾夕法尼亚大学的Haskell课程中学习FP。在其中一个作业中，我必须定义以下类型类来实现表达式求值计算器：

class Expr a where
  mul :: a -> a -> a
  add :: a -> a -> a
  lit :: Integer -> a

class HasVars a where
  var :: String -> a

以及一个模仿数学表达式的数据类型，它可以包含整数的加法、乘法，也可以在表达式中保存变量。

data VarExprT = VarLit Integer
              | VarAdd VarExprT VarExprT
              | VarMul VarExprT VarExprT
              | Var String
              deriving (Show, Eq)

instance HasVars VarExprT where
  var = Var

instance Expr VarExprT where
  lit = VarLit
  add = VarAdd
  mul = VarMul

现在，为了模拟在一个带有变量的表达式中的加法、乘法操作，我必须创建上述类型类的示例，如下所示：

instance HasVars (M.Map String Integer -> Maybe Integer) where
  var str = \mMap -> M.lookup str mMap

instance Expr (M.Map String Integer -> Maybe Integer) where
  lit x = \mMap -> Just x
  add f1 f2 = \mMap -> if isNothing (f1 mMap) || isNothing (f2 mMap)
                        then 
                          Nothing
                        else
                          Just (fromJust (f1 mMap) + fromJust (f2 mMap))
  mul f1 f2 = \mMap -> if isNothing (f1 mMap) || isNothing (f2 mMap)
                        then 
                          Nothing
                        else
                          Just (fromJust (f1 mMap) * fromJust (f2 mMap))

为了实际计算表达式，提供了以下函数：

withVars :: [(String, Integer)] -> (M.Map String Integer -> Maybe Integer)-> Maybe Integer
withVars vs exp = exp $ M.fromList vs

因此，在ghci中使用上述函数看起来如下所示：

*Calc> withVars [("x", 6)] $ add (lit 3) (mul (lit 6) (var "x"))
Just 39
*Calc> withVars [("x", 6)] $ add (lit 3) (var "y")
Nothing

因此，我的查询如下：
在Haskell的一个普通表达式中，表达式只在需要的时候才求值，这对我来说仍然不是很直观，但是我有点明白了。但是在上面的第一个表达式中，内部求值是如何对条件中的表达式工作的呢？
因为据我所知，第一个add正在发生，因此将检查if条件。并且必须将条件求值到True或完全求值到False的点。但是在||的第二个表达式中，它将尝试计算对应于f2 mMap的mul表达式。现在mul中又出现了一个if条件，所以我很困惑，因为在表达式求值过程中，会出现反复出现的if条件。
PS：M.Map等是因为import qualified Data.Map as M