I have found that using the type Double in a type signature causes my program to run much faster than if I use a type variable with a Num constraint.