Dependencies

Migrates onto Either & Prelude.