I have a scenario where I would like to call sum on a sequence of (Double, Double) tuples. Ideally I would like to do something like the following: implicit def toTupleNumeric[T](num: Numeric[T]) =...

I have an enumeration type, e.g. data MyType = A | B And I want to be able to pass values of this type implicitly to my functions. I can do this using the ImplicitParams GHC extension like this: t...

Is there a way to create functions with implicit parameters or let bindings with implicit parameters using template haskell? I.e. is it possible to generate a signature like this using template ha...

I'm curious about the objections to implicit parameters discussed in the Functional Pearl: Implicit Configurations article by Kiselyov and Shan. It is not sound to inline code (β-reduce) in the...