No title

1
2
3
type family Saturated k (t :: k) (argKind :: k') :: Type where
  Saturated Type t () = t
  Saturated (lhs -> rhs) m '(hd, tl) = Saturated rhs (m hd) tl