Type narrowing

Original message was deleted