Fix

Conventionally typed lambda form example fixed