Since Outer and Inner types have no relation.
Outer
Inner
Or any suggestions of better name than transform?
transform
<~ contramap
transformMessages it is (naming is hard 馃槂 )
transformMessages
Most helpful comment
<~
contramap