plugged that into ghci as 5+2*(8-5), and it says 17.

You might want to report that error. Or, did you mean 2+5*(8-5)?