Is it possible to use other time library with GHC than the one it ships with? E.g. GHC-9.12.1 ships with time-1.14 but I need time-1.12.2 in order to satisfy all dependencies.