Even with partial-fun-notation lambda specs do not make a lot of sense here.