1 2 3 4 5 6 7 8
{-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE TypeOperators #-} module T18052a where (+++) = (++) pattern x :||: y = (x,y) type (^^^) = Either data (&&&)