Как установить размер шрифта метки GTK с помощью gi-gtk-декларативного?

Question

Я хочу увеличить текст, но не знаю как. (Я обнаружил, что Label имеет атрибут attributes типа PangoAttrList, но не может понять, как создать последний (если действительно так устанавливается размер шрифта) в контексте, где он может быть установлен на Label widget.)

Ниже приведен минимальный пример:

#!/usr/bin/env cabal
{- cabal:
build-depends:
  , base ^>= 4.13
  , gi-gtk
  , gi-gtk-declarative
  , gi-gtk-declarative-app-simple
ghc-options:
  -Wall
  -threaded
-}

{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE OverloadedLists #-}
{-# LANGUAGE OverloadedStrings #-}

import Data.Void (absurd)

import qualified GI.Gtk as Gtk hiding ((:=), on)
import qualified GI.Gtk.Declarative as Gtk
import qualified GI.Gtk.Declarative.App.Simple as Gtk

main :: IO ()
main = () <$ Gtk.run Gtk.App
  { Gtk.view = \ () ->
        Gtk.bin Gtk.Window [#title Gtk.:= "example"] $
        Gtk.widget Gtk.Label [#label Gtk.:= "foobar" {- What should be here? -}]
  , Gtk.update = \ () -> absurd
  , Gtk.inputs = []
  , Gtk.initialState = ()
  }