For Haskell questions about involving the `-XDataKinds` extension in GHC. With -XDataKinds, GHC automatically promotes every suitable datatype to be a kind, and its (value) constructors to be type constructors.
2 years ago
4 Answers
3 Answers
3 years ago
2 Answers
39 Questions - 0 Points
42 Questions - 0 Points
43 Questions - 0 Points
41 Questions - 0 Points
45 Questions - 0 Points