1 2 3 4
{-# LANGUAGE PatternSynonyms #-} module ImpExp_Exp (pattern Single) where pattern Single x <- [x]