Data.Base

type family Base a :: *

type family Bases a