Tony Morris

@japgolly @headinthebox @jnfrd @thomasdietert The Foldable instance for ((,) t) very clearly says what it does in this very sentence.

@dibblego @headinthebox @jnfrd @thomasdietert My ghci foo is too shit to get that defn. Is there a :t like command I can use?

@japgolly @headinthebox @jnfrd @thomasdietert :info (,)

@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 (,).

@dibblego @japgolly @headinthebox @thomasdietert yes, typo. see my snd tweet please.