Index
| ClassName | Type.InstanceMap.TH, Type.InstanceMap |
| defaultOptions | Type.InstanceMap.TH, Type.InstanceMap |
| InputTypeName | Type.InstanceMap.TH, Type.InstanceMap |
| maxDepth | Type.InstanceMap.TH, Type.InstanceMap |
| mkMap | Type.InstanceMap.TH, Type.InstanceMap |
| mkMapWithOpts | Type.InstanceMap.TH, Type.InstanceMap |
| Options | |
| 1 (Type/Class) | Type.InstanceMap.TH, Type.InstanceMap |
| 2 (Data Constructor) | Type.InstanceMap.TH, Type.InstanceMap |
| OutputWrapperName | Type.InstanceMap.TH, Type.InstanceMap |
| Some | Type.InstanceMap.TH, Type.InstanceMap |
| verbose | Type.InstanceMap.TH, Type.InstanceMap |
| witnessGenerator | Type.InstanceMap.TH, Type.InstanceMap |
| witnessTypeName | Type.InstanceMap.TH, Type.InstanceMap |