Hi everybody,
I have a function of type
plot :: ([Double] -> Double) -- A function to plot
-> [(Double, Double)] -- Range for all arguments
-> IO ()
I want to enforce the fact that ranges for all arguments should be provided.
Is there a way to make the type system enforce it?
--