following the signature:
sqrt :: Floating a => a -> a
why is (sqrt 2) legal? Isn\'t the number 2 a Integer wh
(sqrt 2)
2