{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}

data a :+: b = Proxy
foo = id @(Int :+: Int)
_ @> m = m