without -fprint-explicit-foralls
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
pattern P :: Bool 	-- Defined at <interactive>:16:1
pattern Pe :: a -> Ex 	-- Defined at <interactive>:17:1
pattern Pu :: p -> p 	-- Defined at <interactive>:18:1
pattern Pue :: a -> a1 -> (a, Ex) 	-- Defined at <interactive>:19:1
pattern Pur :: (Eq a, Num a) => a -> [a]
  	-- Defined at <interactive>:20:1
pattern Purp
  :: (Eq a1, Num a1) => Show a2 => a1 -> a2 -> ([a1], UnivProv a2)
  	-- Defined at <interactive>:21:1
pattern Pure :: (Eq a, Num a) => a -> a1 -> ([a], Ex)
  	-- Defined at <interactive>:22:1
pattern Purep
  :: (Eq a, Num a) => Show a1 => a -> a1 -> ([a], ExProv)
  	-- Defined at <interactive>:23:1
pattern Pep :: () => Show a => a -> ExProv
  	-- Defined at <interactive>:24:1
pattern Pup :: () => Show a => a -> UnivProv a
  	-- Defined at <interactive>:25:1
pattern Puep :: () => Show a => a -> b -> (ExProv, b)
  	-- Defined at <interactive>:26:1

with -fprint-explicit-foralls
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
pattern P :: Bool 	-- Defined at <interactive>:16:1
pattern Pe :: () => forall {a}. a -> Ex
  	-- Defined at <interactive>:17:1
pattern Pu :: forall {p}. p -> p 	-- Defined at <interactive>:18:1
pattern Pue :: forall {a}. () => forall {a1}. a -> a1 -> (a, Ex)
  	-- Defined at <interactive>:19:1
pattern Pur :: forall {a}. (Eq a, Num a) => a -> [a]
  	-- Defined at <interactive>:20:1
pattern Purp
  :: forall {a1} {a2}.
     (Eq a1, Num a1) =>
     Show a2 =>
     a1 -> a2 -> ([a1], UnivProv a2)
  	-- Defined at <interactive>:21:1
pattern Pure
  :: forall {a}. (Eq a, Num a) => forall {a1}. a -> a1 -> ([a], Ex)
  	-- Defined at <interactive>:22:1
pattern Purep
  :: forall {a}.
     (Eq a, Num a) =>
     forall {a1}.
     Show a1 =>
     a -> a1 -> ([a], ExProv)
  	-- Defined at <interactive>:23:1
pattern Pep :: () => forall {a}. Show a => a -> ExProv
  	-- Defined at <interactive>:24:1
pattern Pup :: forall {a}. () => Show a => a -> UnivProv a
  	-- Defined at <interactive>:25:1
pattern Puep
  :: forall {b}. () => forall {a}. Show a => a -> b -> (ExProv, b)
  	-- Defined at <interactive>:26:1