That looks highly suspect. If it infers a function Num instance, you probably got your parentheses wrong. Or your $-s...

...in fact, that is the problem. That final $ does not do what you think; it produces

    (foldl (+) 0 estimates <*> Just . fromIntegral) (length estimates) 

when you presumably intended

--