mtl is now a part of GHC. Also hs-semigroups is no longer required as of GHC 8.
Functions for probing and unwrapping values inside of Either.