Course: Good type for better services by Daniele Catalanotto