Version bump for higher-kinded sequence
Merge branch 'release/0.7.1' into develop