{-# htermination enumFromThenTo :: Float -> Float -> Float -> [Float] #-}