Adding JS phantom to active example
Making A & B actual types, with an overloading.