Type assertions for beginners