Я ☞ Methods ☞ is

is :: e `AR` e

Works is an identity function, useful for type applications in case if you want to help a compiler to resolve type inference ambiguity.