Added Proxy to determine monad type in eval functions