Return value of lambdas as return types is not checked

[gavr123456789]

union CombinatorResult = 
| Success value: String rest: String captures: MutableMap(String, String)
| Failure

type Parser
type ParserCombinator = [String -> CombinatorResult]

Char parse -> ParserCombinator = ^ [str::String ->  // SHOULD BE AN ERROR lambda must return CombinatorResult

]

[gavr123456789]

Actually this:

Char parse -> ParserCombinator = ^ [str::String -> 
  str isEmpty && (str first == this)
]

returns error as exppected, so the main problem is that empty bloc... has Unit type?