T20423b.hs:17:1: error: [GHC-18478]
    The pattern synonym scrutinee does not have a fixed runtime representation:
    • LPGADT l :: TYPE ('BoxedRep l)