(AtomName v) loc) =
  pure $ AttrAtom (AtomName v) loc
checkAttr (AttrAtom
checkAttr (AttrAtom (AtomName v) loc) =
  pure $ AttrAtom (AtomName v) loc
checkAttr (AttrAtom (AtomName v) loc) =
  pure $ AttrAtom (AtomName v) loc