:$ f |lol return(|d) :a = |a {f!} b return(a)