Transform next of type A to Effect of type B to Pair of type C to Effect of type D using fa and fb.
Create a pair of model to effect where effect defaults to none.