Chicago Kotlin User Group + 47 Deg is hosting
@raulraja for an online session on May 27. Everyone is free to join, you just need to RSVP on meetup for the link:
https://www.meetup.com/Chicago-Kotlin/events/270033410/ He will be talking about Type Proofs and FP for the Kotlin Type System.