25 Jan
2018
25 Jan
'18
5:10 p.m.
Hi, Am Donnerstag, den 25.01.2018, 21:45 +0000 schrieb Iavor Diatchki:
In part because I actually tried for a while to use `Type` instead of `*`, and I found that the resulting kind signatures looked much more complicated.
How do you feel about the variant where * is a synonym for Type, but no special parsing rules apply, which means you get to write class Monad (m :: (*) -> (*)) instead of class Monad (m :: * -> *) -- now or class Monad (m :: Type -> Type) -- proposed This way, people who want (*) to not refer to Type can hide the import with the usual mechanisms. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/