Talk:Hask
Jump to navigation
Jump to search
The category actually does not exist
See http://math.andrej.com/2016/08/06/hask-is-not-a-category/
It would be better to clearly define Hask, and either fix it to be a category, or admit it is not a category with a clear explanation of what is broken and what can be saved. (Formalize fast-and-loose reasoning.)