Making Your Types Reflect Reality

A new feature in a library called zeo prelude that adds support for refinement types, which are a way to essentially easily have your types reflect reality. What spurred that idea was a video that i watched from the scalasio conference am where somebody was presenting on scholazo prelude refinement types. Because a lot of times to do this well, you have to like, wrap things into new classes, which is more allications. And it really needs to go in there. You can't just go out. It's too late, eh? Ye. So am to rap up on the making your types reflectreality. Yes, yes, exactly.