Not a solution pphetra 4th August, 2008 05:56 (UTC)
This haskell implementation is very interesting. http://logicaltypes.blogspot.com/2008/05/no-fibbing-getting-into-monad-groove.html