Change `permits` signature