<$$> package:LambdaHack