1 2 3 4 5 6 7 8 9
{-# LANGUAGE GADTs #-} {-# LANGUAGE PatternSynonyms #-} {-# OPTIONS_GHC -fdefer-type-errors #-} module T15692 where data F x where FS :: F (f a) -> F a pattern FS' = FS False