Proxy :: Proxy 23 を Proxy @23 のように書くHaskellの記法。