Those refinements are nice. Pre- and Post- conditions are illustrated, is there any way to describe an invariant?

Also, maybe you should have called them something else since a lot of people will think about completely different when they hear this word... (http://www.ruby-doc.org/core-2.0.0/doc/syntax/refinements_rd...)