explicit implicits
lambda lift uses types
fix test output