Is there a point in discriminating between lambda ...
# announcements
n
Is there a point in discriminating between lambda types?