/dhall/tests/type-inference/success/unit/
../
WithInfersKindA.dhall
WithInfersKindB.dhall