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