A Toolbox for Choice Calculus Operations in Haskell