* Figure out why the section (2.5) c_ijk1 identity is failing.
* Use distribution combinators[1] to get rid of the orphan instance
warnings.
* Figure out why the section (2.5) c_ijk1 identity is failing.
* Use distribution combinators[1] to get rid of the orphan instance
warnings.