V1.0.1, fixed derived monad ap and map