@dibblego @parametricity I agree with you but I doubt the comment you wrote makes your point clear to the author.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@shebang The length example is legit.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@shebang@bitemyapp@dibblego Is there more/stronger free theorems with `Functor f => (a->b) -> f a -> f b` than with `(a->b) -> [a]->[b]` ? -
@jb9i@shebang@bitemyapp abso-totally - Show replies
New conversation -
-
-
@dibblego x = ["foo"] x' = [] bull = fmap "shit" Even without FTP, both `bull x` and `bull x'` compile. :( We should uniquely-type values! -
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.