diagrams/diagrams-lib — pull request #168 by FlorentBecker (2014-03-24 15:58:03+00:00)
Title: Make Diagrams.Transform.under more polymorphic

After writing my own diagram types (for diagrams in R2), i found myself needing to do some DiagType1 -> DiagType2 operations under a transformation. This is not possible under the current type of 'under', so here it is, generalized.