Phew! Got the overloading workaround working for both MagicNumber and Option<MagicNumber>