This presentation was given by me on Jan 11, 2023 in Helsinki Haskell Meetup that was organized at RELEX Solutions.
Link to the event: https://www.meetup.com/helsinki-haskell-users-group/events/289806549/
The code from the 3rd part of the presentation (applying GDP to JWTs) can be found here.