[Lio]

Lovely stuff, thank you.

It would be cool if we could eventually make use of RBS or inline Sorbet or something better than both to get the types for property testing for free.

[ohbarye]

Good point. There's already such a project to run PBT based on RBS. I'm also keeping an eye on this.

https://github.com/ksss/raap