let
(@>) t n = n