@jesper@agda.club @haskell@fosstodon.org This is wonderful.