Tutorials under 'Recursive Type Bounds'