code: public static <M extends Monad<?, M>, A> IdentityT<M, A> identityT(Monad<Identity<A>, M> mia) {
          return new IdentityT<>(mia);
      }
docs: Static factory method for lifting a <code>{@link Monad}&lt;{@link Identity}&lt;A&gt;, M&gt;</code> into a
  {@link IdentityT}.
  
  @param mia the {@link Monad}&lt;{@link Identity}&lt;A&gt;, M&gt;
  @param <M> the outer {@link Monad} unification parameter
  @param <A> the carrier type
  @return the new {@link IdentityT}.