data Record fields

data Field name typ

type family RecordSize (fs :: [*]) (sz :: Nat) where ...

type family Modulo (a :: Nat) (b :: Nat) :: Nat where ...

data Path fs