If I have f :: Num a => a this means that I can use f wherever I need any numeric type. So, all of f :: Int, f :: Double must type check.
In your case, we can't have 1.0 :: Int for the same reason we can't…
Sameer
Posted on
Answer: Haskell type substitution
For further actions, you may consider blocking this person and/or reporting abuse
Top comments (0)