Simplify Alternative instance

Once more with these instances, this time to redeem myself with an improvement that I've actually compiled :)