type now checks for lambda #125 #44