小编Ram*_*mad的帖子

    semOp l = \m -> case l of
                LD g -> case m of 
                    St xs -> St (g::xs)
                    _ -> Error

只是想知道该\m部分在这里做什么。