Make series instance for basic root
Convert to quickcheck from smallcheck