Hi, why is it necessary to include the [folder] type in the type of higher order record functions when it is always inferred? Isn't it enough to see them as something happening behind the scene? - Gergely