@dibblego It doesn't really look like the lyrics from 'Carly Rae Jepsen: Call Me Maybe' ;-)
What am I reinventing? There is a pattern there, I can feel it, but not find it. https://gist.github.com/4327515
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego there must be a CT name for that transformation in the literature, to represent non-emptyness with a witness -
@etorreborre It feels too specific, but I think there is some generalisation there. I am thinking@kmett's traversals.
End of conversation
New conversation -
-
-
@dibblego listToMaybe . Foldable.toList ?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.