Error effects for lambdas

[gavr123456789]

now .sas here adds error effect for sus, but its wrong

type Knight

Knight sas -> Unit! = [
  Error throwWithMessage: "qwf"
]

Knight sus -> Unit = [
  x = [
    .sas
  ]
  x do
]

Problem: what if we will call something with error inside map or forEach?
Have 2 different functions with and without errors for each STD lambda is bad!

Maybe just correctly infer all the error effects for lambdas the same way we do for usual variables?
x = .sas // x has type Unit!{Error}

x = [ .sas ] // x has type [ -> Unit!Error ]