Re: [Haskell-cafe] How to convert a list to a vector encoding its length in its type?

...

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