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