import "Prelude"

f :: Float
f = 1.0

d :: Double
d = 1.0

d2f :: Float
d2f = fromDouble d

f2d :: Double
f2d = toDouble f

main = show (d+f2d, f+d2f)
--
(2.0, 2.0)