c-sharp monads functional-programming records functional-languages f-sharp monad functor lenses monoid semigroup monad-transformers applicative immutable-collections bcl immutable-types higher-kinded-types language-ext ad-hoc-polymorphism structural-equality