`return . Pure`

[none]