module ShouldCompile where

test = let v₂ = (+) in v₂ 1 3