This is a common repository for the ABCD team to share use-cases of session types.