Ce soir, je trempe doucement les orteils dans la vérification de types bidirectionnelle. #FunWithTypes