| kdOptions | Grisette.Backend, Grisette |
| keptVars | Grisette.Internal.TH.Derivation.Common |
| keyCompare | Grisette.Internal.Core.Data.Class.AsKey, Grisette.Core, Grisette |
| KeyEq | Grisette.Internal.Core.Data.Class.AsKey, Grisette.Core, Grisette |
| keyEq | Grisette.Internal.Core.Data.Class.AsKey, Grisette.Core, Grisette |
| KeyEq1 | Grisette.Internal.Core.Data.Class.AsKey, Grisette.Core, Grisette |
| KeyHashable | Grisette.Internal.Core.Data.Class.AsKey, Grisette.Core, Grisette |
| KeyHashable1 | Grisette.Internal.Core.Data.Class.AsKey, Grisette.Core, Grisette |
| keyHashWithSalt | Grisette.Internal.Core.Data.Class.AsKey, Grisette.Core, Grisette |
| KeyOrd | Grisette.Internal.Core.Data.Class.AsKey, Grisette.Core, Grisette |
| KeyOrd1 | Grisette.Internal.Core.Data.Class.AsKey, Grisette.Core, Grisette |
| kindNumParam | Grisette.Internal.TH.Util |
| knownAdd | Grisette.Internal.Utils.Parameterized, Grisette.Utils, Grisette |
| KnownProof | |
| 1 (Type/Class) | Grisette.Internal.Utils.Parameterized, Grisette.Utils, Grisette |
| 2 (Data Constructor) | Grisette.Internal.Utils.Parameterized, Grisette.Utils, Grisette |