据我所知，没有。
也许可以考虑以下解决方案？

newtype Name = Name String
newtype Idnum = Idnum String

data Person = Person { name :: Name, idnum :: Idnum }

另一种可能性，在我看来更糟的是：

module A (Person, name, idnum) where

data Person = Person
  { _name :: String
  , _idnum :: String
  }

name :: String -> (Person -> Person)
name n p = p { _name = n }

idnum :: String -> (Person -> Person)
idnum n p = p { _idnum = n }

emptyPerson :: Person
emptyPerson = Person "" ""

# in another module

module B

import A (Person, name, idnum)

myPerson = name "myname" . idnum "myidnum" $ emptyPerson

在这种情况下，不能保证name和idnum都得到一个值。
Person总是可以作为一个“普通函数”使用，这一点可能会非常有用。例如，如果你有getName :: IO String和getIdnum :: IO String，那么把它们组合起来形成一个getPerson :: IO Person是简洁的：getPerson = Person <$> getName <*> getIdnum。这是唯一可能的，因为我们 * 不 * 使用记录语法在这里！