Type.Map

data Map k v

type family MapLookup k m :: kv