Data.TypeMap.Dynamic.Alt

data TypeMap x

type family Item x t

null

insert

lookup

map

traverse

data OfType a