Data.Kind
module Data.Kind
Failed to load file 'doc-index.json' containing definitions in this package.