[let
    2 :> n   ! There is no other way!
    0 1 :> ( a b )
]