snippet func "Function"
λ(${1:$PARAM : $TYPE}) → ${2:OUTPUT} $0
endsnippet