#lang rhombus/static

def x :: converting(fun (x :: Int): x + 1) = 11
x // x is 12 here, `converting` will be applied