+ we can't implement 'f() >>= file' yet.