我觉得haskell的monad就象C语言的指针，因为它们都相当描述对象的外部行为。

我可以理解你的观点，Haskell的Monad在一定程度上确实是一种描述对象行为的工具，就像C语言的指针一样。然而，Monad在Haskell中的作用和指针在C语言中的作用有很大的不同。

指针是C语言中用来管理内存的一种工具，可以通过指针间接访问内存中的数据。Monad是Haskell中一种抽象的概念，用于描述可能带有副作用的代码的执行顺序。它允许代码以结构化的方式处理副作用，而不需要直接暴露副作用，从而提高代码的可读性和可维护性。

因此，我认为Monad和指针的功能是不同的，尽管它们都具有描述对象外部行为的特点。