Handling a simple example with infinite type in communications.