refneeded :: Note -> Note
refneeded n = todo $ do
    "There is a reference to "
    raw "``" <> n <> raw "''"
    " missing here. "
refneeded :: Note -> Note
refneeded n = todo $ do
    "There is a reference to "
    raw "``" <> n <> raw "''"
    " missing here. "
refneeded n = todo $ do
    "There is a reference to "
    raw "``" <> n <> raw "''"
    " missing here. "