@thomasdietert @headinthebox the length of a tuple is of course not the length of a string ...
-
@dibblego@japgolly@headinthebox @thomasdietert '... instance Foldable ((,) a)' and where does it say the a is at the snd position?
@jnfrd @japgolly @headinthebox @thomasdietert It doesn't. It is in the first position. Also, type constructors always take one argument.
-
-
@dibblego@japgolly@headinthebox @thomasdietert I think I got it, though I still don't understand why there is a foldable for () -
@jnfrd@japgolly@headinthebox @thomasdietert There isn't. There is Foldable for ((,) t). There is Bifoldable for (,). - Show replies
New conversation -
-
-
@dibblego@japgolly@headinthebox @thomasdietert () = (,)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.