Simple monadic future values