Data.Aeson.AutoType.Extract
valueSize
valueTypeSize
valueDepth
data Dict
data Type
emptyType
extractType
unifyTypes
typeCheck