Combine Type and Row types to facilitate kind-checking effects later.
First work on the Eff monad