``` Contract Func[Num=>Num] => nil def foo(&blk) result = blk.call(2) nil end Contract Func[Num=>Num] => nil def bar(blk) result = blk.call(2) nil end foo { |x| x.to_s } # no error bar lambda { |x| x.to_s } # error ```