A Quiz Web application developed to experience type-driven development