Ha, nice.  Didn't know about `Module#<=`.