How do they compare? Can Linear regions handle all uses of monads or does they lack some applications?