Dependent libraries were relying on the kind exports of Ordering and Boolean and those were removed between 5.0.0 and 5.0.1 https://github.com/purescript/purescript-typelevel-prelude/commit/dd703bac30e9cd837dba64fce4d0ff750da965d0