Typeclasses workshop requirements update