#library+

rec :: x y

foo = `a
bar = `b
baz = `c