New: first sample
New: implemented safe head()
Modify: URL in README
New: safe tail() with GADTs
Modify: typo
Merge branch 'develop'