我是说，开始的monad在应用到计算机科学后，相比原来的定义，已经发生本质上的改变？

是的，你说得对。在计算机科学中，monad的定义和使用方法与数学中的原定义有所不同。计算机科学中的monad通常被定义为一种计算抽象，它允许程序员通过组合和抽象来管理复杂的数据结构和控制流。这种定义中的monad与数学中的monad存在根本的区别，因此在实际使用中，monad在应用到计算机科学后已经发生了本质上的改变。