What if assertions such as <code>x > 0</code> were part of the type system? We present a prototype implementation of <em>logical refinement types for Scala</em>: types like <code>{x: Int | x > 0}</code>. In our system, refinement types are first-class: they can be nested, used as type arguments, and related by subtyping. We demonstrate the system through concrete examples.