shame! cheers :) PS. if you're interested in weird perspectives on this, you might find Coinduction (and "codata") interesting. from wikipedia: > Informally,

shame! cheers :) PS. if you're interested in weird perspectives on this, you might find Coinduction (and "codata") interesting. from wikipedia: > Informally, rather than defining a function by pattern-matching on each of the inductive constructors, one defines each of the "destructors" or "observers" over the function result. it's a deep rabbit hole, but i remember it being applied OOP-ish things – "destructors" would roughly correspond to exposed methods.