Don't worry, it's just me not liking UndecidableInstances.
Without it, GHC doesn't like the 'Arg f ~ b' constraint
He's probably right. I don't like it either.
What will the type of 'levmarHL' look like using tuples or using your
special list-like type?
I guess it would be something like
LevMarParamCoolType c => (a -> c -> Double) -> c -> [(a, Double)] -> c
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
