1{-# LANGUAGE TypeApplications #-} 2{-# LANGUAGE TypeOperators #-} 3 4data a :+: b = Proxy 5foo = id @(Int :+: Int) 6_ @> m = m 7