T16326_Fail10.hs:12:18: error:
    • Illegal visible, dependent quantification in the type of a term:
        forall a -> a -> a
      (GHC does not yet support this)
    • In the type signature for ‘x’: forall a -> a -> a
      When checking the rewrite rule "flurmp"