Let g: A -> B