Another example of indentation-sensitive lambda calc