Archived tweet #3165 from the @leastfixedpoint Twitter Archive

@BrianTRice That's cool. Yes reified messages = data where objects = codata. message equivs are structural, obj equivs behavioural