It would generate this boilerplate somehow: https://guix.gnu.org/en/blog/tags/cookbook/sk/html_node/Getting-Started.html