Guide: closures

'Difference' can be a subtype or a different type.