Loading annotation for book.purescript.org