This month we are looking forward to **Viktor Dukhovni** taking us into the realm of practical type level programming. *The Talk* *Viktor Dukhovni - Types, Nats, and Wire Formats - Type-level Programming and Extensibility in the Haskell dnsbase Stub Resolver Library * The dnsbase stub resolver library, written in Haskell, is a modernised revision of Kazu Yamamoto's "dns" library (GHC 7.x 2010-06). The "dns" library modelled DNS records via an ADT, with discrete constructors for each support RR type. In "dnsbase" existential quantification replaces the fixed form ADT and additional type-level machinery is used to make the library's set of supported DNS types extensible at runtime. This talk will highlight some of the techniques that make this possible. *When and Where* Format: Strictly IRL When: Thursday 20th Aug 2026, 6:00pm – 8:00pm Where: Kathleen Syme Centre, Activity Room 2, Carlton (Melbourne Victoria, Australia) Arrive from 6:00 for chat and socialising, talks start start at 6:30pm. [Please RSVP via Luma](https://luma.com/8eywg8ed) . As always, newcomers welcome. *About Melbourne Compose Group* Melbourne Compose Group is the monthly in-person meetup for functional programmers in Melbourne, every 3rd Thursday of the month in Carlton. Hope to see you there :) -Ben Hutchison & John Walker