pRecordField :: Parser (Expression :~ SrcPos)
pRecordField = withAnnotation $ do
  base <- identifier
  dot
  field <- identifier
  return (RecordField base field)
pRecordField :: Parser (Expression :~ SrcPos)
pRecordField = withAnnotation $ do
  base <- identifier
  dot
  field <- identifier
  return (RecordField base field)
pRecordField = withAnnotation $ do
  base <- identifier
  dot
  field <- identifier
  return (RecordField base field)