Comment by kylereeve

I've been reading about that, can't seem to wrap my head around the difference between refinement and dependent types.