haskell-src-exts-1.24.0: tests/examples/AtOperator.hs

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

data a :+: b = Proxy

foo = id @(Int :+: Int)

_ @> m = m