Serviteur Type level HTTP APIs for Scala 3 Raison d'être Exploring ergonomic type level APIs on Scala 3