foo :: Rec '["foo" ::: [Char]]
bar :: Rec '["bar" ::: [Char]]
both :: Rec '["foo" ::: [Char], "bar" ::: [Char]]