Data.Functor.Nested

data Flat x

data Nest o i

data Nested fs a

type family UnNest x

unNest

class NestedAs x y

type family AsNestedAs x y

type family AddNest x