Prelambda port
Prelambda.Prop