A monadic java profiler