Ddatadata Bundle (r :: [k -> k1 -> Type]) (m :: k) (a :: k1) wherePeek#ConstructorsBundle :: ElemOf e r -> e m a -> Bundle r m a