Type Lamda Folding in action