some work on session types as training examples