How did the students react to session types? They are awkward to use in practise (communication topology is usually data dependent) and Rust is awkward, so both together should be really clunky ...