From Turning a map of data constructors into a row type (purescript discourse):

rows don’t have corresponding values, they only exist at the type level. If you do only purely want a row and not something like a Variant result you could return a proxy though.