The Solo data constructor was renamed to MkSolo in GHC 9.6 (see
#437). Because at present
there is no linear pattern synonym, and in order to stay compatible with GHC
9.4 we use a constructor and a destructor functions as a workaround (it's
quite easy in the case of Solo anyway).