Is there a specific reason why die in Relude returns an m () instead of m a like die from System.Exit, which is actually used in the implementation?