monad

探讨在Haskell中使用应用函子进行静态分析的概念，与单子进行对比，并讨论在忽略数据的上下文中解释代码以进行分析而不执行效果。