blob: ea8c61726dc53e957e877bdc53e6f2f86128808e (
plain)
1
2
3
4
5
6
|
Proxy @($(pure $ UInfixT intT '(:::) stringT))
:: Proxy (Int '::: String)
Proxy @($(pure $ (intT `promUInf` stringT) `promUInf` boolT))
:: Proxy (Int '::: (String '::: Bool))
Proxy @($(pure $ (intT `promInf` stringT) `promInf` boolT))
:: Proxy ((Int '::: String) '::: Bool)
|
