Use greek letters for type lambda per contributor guide