export const inject = (m, a) => {
  const inject_ = (m, a) => Monad(m) ? dataType(m).pure(a) : error.typeError(m, inject);
  return partial(inject_, m, a);
}