#lang plait
(define f (lambda (x) x))
(define v (f "hello world"))