Check out dotty_18 (@dotty