Type children working, onto type definitions