morphism indexed in the style of Atkey