Added laws for `toListT`.  Fixes #120