nonstandard-analysis in Haskell