Higher kinded polymorphism

Agenda
• Talk: "Higher kinded polymorphism.” This talk by Michael Baikov will explain Higher Kinded Types and tricks you can do with them. Examples will be sketched out in Rust with a comparison to Haskell (If you want background for the talk review the ticket https://github.com/rust-lang/rfcs/issues/324)
• Discussion about the format of a Rust embedded microcontroller workshop. Decide on one or more microcontrollers to use.
• Round the room--something to share?

This one hour online meeting will occur once every two weeks. Its purpose is to present a short fifteen to thirty minute technical topic people can ask questions about and then provide an opportunity for people to share. The meeting is scheduled for an hour, but may end early.