let B =
      https://sellout.github.io/dhall-bhat/package.dhall
        sha256:67617847fca913d17863ad857224cd9b3904297bb15a9674146d5e120c5ff08a

in  λ(a : Type) →
      (../Mu/recursive B.Identity.Type).cata a (B.Function.category.identity a)