Currently, function-schemata can create validators for user defined types and correctly validate the keys against their generated schema.
However, is failing to detect the absence of these keys.

Some tests were in place to check that the absence of the keys was being detected, but the failure to validate this example was being originated by other reasons, so the test was deceptive.