{-# LANGUAGE PatternSynonyms #-}
pattern MyData { a, b, c } = [a, b, c]