If defining Eq instance first test passes, thus types are homomorphic.
If defining Eq instance first test passes, thus types are homomorphic.

mihaimaruseac/blog-demos,mihaimaruseac/blog-demos,mihaimaruseac/blog-demos,mihaimaruseac/blog-demos,mihaimaruseac/blog-demos