Replace EitherT from 'either' with ExceptT from 'transformers'

This way I don't have to depend on Kmettian universe (semigroups, comonads, free
etc.)