gvolpe / split-morphism Star 11 Code Issues Pull requests ➰ Split Morphisms haskell prism category-theory lens optics category morphism epimorphism monomorphism Updated Feb 8, 2020 Haskell