The code below results in an error message that, at first glance, appears to imply that GHC doesn’t understand the definition of the type family WrapParams : {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-}… Read More GHC error message quotes type family definition verbatim