Make initial version of structural type recursion, and use it.