GitHub repository: timjb/dtypes
Primary language: Haskell
Description: Functors, Applicatives, Traversables etc. of kind (k -> *) -> *