brain dump/in code note about the need for functions as types to define dependent fields.