全文均为伪代码，没有验证，只可意会
doIf::Bool -> a -> Maybe a
doIf cond action = if cond then (Maybe action) else Nothing
我们声明了一个doIf函数，它接收两个参数：cond与action，它干一件事：如果cond == true 就调用action,并包在Maybe中返回。 如果是strict的语言的话，在调用doIf函数的之时action就会被执行了，而Haskell默认是non-strict的，所以在调用doIf时，action无需求值，只有在cond为true时才需要对action求值，如果cond为false的话action根本不会被执行，这就是non-strict与strict的区别。