Removed unnecessary `Base m ~ IO` constraints