Recently a formalism search (in C#) so that I can have a
generic-reusable definition of a Monad. What is missing from
.Net generics is the ability to have a level of abstraction
Type Constructor. As an example of this abstraction, presenting
the generic definition of a Monad through my two favorite
是 Haskell and Scala.
After some experimentation and study, reached the following code.
不過 C# 懶得細看了（或是說沒空？），只是覺得很有趣。
拿來當寫 Monad in Scala 的參考吧。