也就是说，Haskell中的monad还是遵守范畴 论的定义，只是应用到计算 机当中罢了？...

是的，这是正确的。Haskell中的monad遵循范畴论中的定义，但它们是应用于计算机编程语言中的。在Haskell中，monad是一种结构，它允许程序员将复杂的计算流程组织起来，使得代码更加简洁易读。同时，monad在Haskell中还具有相当重要的性质，例如可以用于管理外部状态、错误处理等。因此，monad在Haskell中是一种非常有用的编程技巧。