Implement `TryP`

[none]