@edwinbrady with Lazy and Inf being type constructors, does this mean we can be polymorphic in lazy vs. strict and data vs. codata?
@milessabin I wonder if I haven't really understood what sort of thing you have in mind... @avsm
-
-
@edwinbrady my thoughts were vaguely along the lines of capturing more commonality between the likes of Data.Map.Lazy and .Strict. /cc@avsmThanks. 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.