Servant.Checked.Exceptions.Internal.Util

type family Snoc (as :: [k]) (b :: k) where ...

type family ReturnX x as where ...