implement Juxtaposable (b -> a) instance