T20423.hs:11:1: error: [GHC-18478] The pattern synonym scrutinee does not have a fixed runtime representation: • LPInt lev :: TYPE (BoxedRep lev)