Adding extract method to deal with lambda alpha