Generating a client for an API - Servant by construction part 4

This file is a Literate Haskell module, so we must import things before we get going: {-# LANGUAGE DataKinds #-} {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TypeFamilies #-} -- Suppress some warnings which take away from the beauty -- of the post {-# OPTIONS_GHC -Wno-missing-signatures #-} {-# OPTIONS_GHC -Wno-missing-exported-signatures #-} module GeneratingAClient where import ApiAsType ( (…