Data.TypeMap.Dynamic

data TypeMap x

type family Item x t

null

insert

lookup

map

traverse

data OfType a