type family Candidates (typ :: Type) (member :: Type) :: [[Type]]

type family ResolveMember (as :: [Type]) (ms :: [[Type]]) :: [Type] where ...