úÎZANoneThe constraint  String on a function f indicates that an $ unnamed implicit parameter of type String is passed to f. The constraint  "foo" String on a function f indicates " that an implicit parameter named "foo" of type String is passed to  f.  The name "foo" is a type of kind  (from the  GHC.TypeLits  module). The  DataKinds# extension is required to refer to -kinded  types. ( retrieves the implicit parameter named s of type a from the  context  s a . The name s" is specified by a proxy argument  passed to param. 2 supplies a value for an implicit parameter named s to a I function which takes a homotypic and homonymous implicit parameter. The  name s, is specified by a proxy argument passed to setParam. An infix version of  with flipped arguments. 2 retrieves the unnamed implicit parameter of type a from the  context  a. 9 supplies a value for an unnamed implicit parameter to a 6 function which takes a homotypic implicit parameter. An infix version of  with flipped arguments.         implicit-params-0.1 Data.Implicit Implicit_ImplicitparamsetParam$$~param_ setParam_$~base GHC.TypeLitsSymbolDictTaggedLiftProxy_paramusing$fImplicitsLift $fImplicitsa