!:R     None "#+FNT| instance-mapHow deep to traverse the tree of instance contexts when attempting to find monomorphic types that are members of the class. Default is 2.+For instance, if we have declarations like: Hdata NumWithS n = NumWithS String n instance (Num a) => Num (NumWithS a)with maxDepth set to 2, then NumWithS Int and NumWithS (NumWithS Int) would both be found but NumWithS (NumWithS (NumWithS Int)) would not be. instance-map<Whether to produce lots of debugging output. Default False.  instance-mapPWhen used as a declaration splice, this function will create three declarations:A data instance    ClassName with a single constructor Some ClassNameA value named mapOf ClassName, which has type      InputType ->   Class A helper function getSome ClassName with signature   ->  InputType ->  (  Class) (The four arguments to this function are: BA TypeRep indicating what monomorphic type we should try to decodenThe name of the type that is the argument to the decoder function. Often ''ByteString or ''Aeson.Value.The name of a monad type with an instance of MonadFail that the functional expression uses to wrap the return value. Often ''Maybe.A quasiquoted expression for a function that takes an argument of the type named by (2) and has a polymorphic return type wrapped in the monad (3).,For example, for JSON the call generally be: 0$(mkMap ''MyClass ''Value ''Result [|fromJSON|])  instance-mapLike   but with user-provided    None       +instance-map-0.1.0.0-1F5Pg9U4Wr06DVnhkrsPkMType.InstanceMap.THType.InstanceMapOutputWrapperName InputTypeName ClassNameOptionsmaxDepthverbosewitnessGeneratorwitnessTypeNameSomedefaultOptionsmkMap mkMapWithOptscontainers-0.5.11.0Data.Map.InternalMapbase Data.TypeableTypeRepGHC.BaseMaybe