YuMingLiao

There is a lot of things that can be considered in a schema migration: atomtypes, relations, functions, constraints, and isomorphic schemas. `ConstructedAtomType`s affect the set of `AtomType`s. (data / undata)...

And, dataFrameAsHtml can't show utf8 character in TextAtom correctly. After I changed `atomToText (TextAtom i) = T.pack . show $ i` to `i`, it works. It is the show function...

To translate a whole Relation, a TextAtom in HTML format seems not enough. Since ConstructedAtom explains things better than null, I was hoping to able to see a ConstructedAtom in...

After second thought, relational algebra need one text representation to describe things in an expression. An multi language relation may not be useful. User already can define their own representation...

Just leave an [example ](https://gist.githubusercontent.com/konn/798828/raw/138ca0d81f7bf28acd299027a313d1c07005dccd/syntax.hs) of [invertible-syntax](https://hackage.haskell.org/package/invertible-syntax) here for future reference.

hi @agentm , I am digging into this issue. There is something I am trying to understand: A lot of expression are defined as `...Base a`. And there is `class...

Thanks for the enlightenment! I'll look into it.

Okay, I see now. It's just a type variable that can become different expression types for different purposes. Cool thing to learn. I have seen two libraries, invertible-syntax doesn't print...

I see. That's definitely a point to consider. And I think you are right. It is probably not worth switching from megaparsec just for this feature. Maybe a custom show...

Oops, I just wrongly thought left side of equal could be anything.