Armando Santos

Now that the project compiles I ran the Benchmarks for the matrix composition and they are exactly the same. Since matrix composition does not use any of the Khatri-Rao and...

Thanks for this Andrey :smile: As I said in my email, it would be very nice if a version of `matrixBuilder` or `fromF` can be implemented in a type safe...

@snowleopard >As for fromF, it's semantics is a bit obscure: it produces only 0/1 matrices, which seem more like relations to me. Using the Matrix e a b data type...

The way I see it work with your implementation is to use Generics to create a deconstructor similar to `either` for each type. I have something that can work but...

I think I was able to do it! ```haskell toNorm :: (Enum a, Enum (Normalize a)) => a -> Normalize a toNorm = toEnum . fromEnum fromNorm :: (Enum a,...

@snowleopard sure! ```haskell type ConstructNorm a = (Enum a, Enum (Normalize a)) toNorm :: ConstructNorm a => a -> Normalize a toNorm = toEnum . fromEnum fromNorm :: ConstructNorm a...

I'm still working on the refactoring! I hope to open a PR soon with all the changes!

@snowleopard please see #11 for the full code! I think we are getting there :smile: the `Internal.hs` and `Type.hs` modules are good to go! The whole project still does not...

This newtype wrappers should probably be used in the inductive matrix data type!

This would have impact on usability as it would not be as straightforward to lift a function to matrix/Relation. `coerce` could be of use like when using `Natural`.