Archived tweet #9813 from the @leastfixedpoint Twitter Archive

@DRMacIver In Erlang (and occasionally thus in... certain Racket libraries) an IOList is made from arbitrarily-nested lists (actually conses) of binary blobs. Functions working with IOLists sometimes have errors related to properly destructuring the type. Maybe Hypothesis could help there.