Continuation Monad plays an import role in F# . It powers Workflows. I wrote a sample code in F# and checked monadic Axioms. Please check to get entire series
( http://www.paul-abraham.com/MonadsInFSharp.doc)
my Ramblings in F#,Haskell and Mathematics