Floating类型类与Double有何不同？

Question

*User> :t sqrt
sqrt :: Floating a => a -> a

我不明白Floating a => a -> a试图告诉我什么。我的教授告诉我，sqrt可以被认为像sqrt :: Double -> Double。它确实像那样，但Floating a => a -> a是什么意思？

谢谢