Updated some documentation
Replaced some effects with GADTs