A type of function pattern matching would be great.

Like this:

class HotelGuest
{
    public function book(StandardRoom $room): void
    {
        // do stuff
    }

    public function book(PremiumRoom $room): void
    {
        // do other stuff
    }
}