1 2 3 4 5
{-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE PatternSynonyms #-} module DRFPatSynExport_A where data S = MkS { m :: Int } pattern MkT { m } = m