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