Tony Morris

@japgolly @headinthebox @jnfrd @thomasdietert Use the types, not some vague, unreliable idea of intuition.

@dibblego @headinthebox @jnfrd @thomasdietert [Foldable t a -> Int] is vague. If it counts fold invocations, why isn't length of tuple2, 2?

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