playground for optional type checking