Typecheck functionguards for function arguments and (nested) objects when it matters (REST payloads etc)