type Lazy[T] = proc (): T

# laz.nim(5, 8) Error: identifier expected, but found '['
template lazy* (s: untyped): untyped =
  proc [T](): T = s

proc `^`* [T](l: Lazy[T]): T = l()

proc test(): int =
  echo "executing..."
  5

let l: lazy(test())