Experiment for OutsideIn(X) with let! for local polymorphism