Cloud Haskell additions to DiscretizationT