howto deal with isomorphisms on data types? when i have two types that are compatible?
next, i need a functor that takes an adt to the sum of its terms, with each term wrapped into a monad of suitable coarseness, so i can construct the adt piece by piece.
howto deal with isomorphisms on data types? when i have two types that are compatible?
next, i need a functor that takes an adt to the sum of its terms, with each term wrapped into a monad of suitable coarseness, so i can construct the adt piece by piece.