Comment Comment by TazeTSchnitzel This must be why kinds (types of types) in Haskell are a separate and less powerful thing than ordinary types? parent TazeTSchnitzel 11 months ago
