Unifying the Env type between transformer + monadic interfaces