• Nim doesn't require call-site annotation for var parameters
• Sum types are weird