Fixed compiler crasher with eta-expanion; added test for Lazy combined with Aux pattern.