Start discussing dependent types