criteria4s. The type the JVM never sees
·8 mins
A walkthrough of the actual criteria4s source code to see how phantom types and type classes enforce dialect safety with zero runtime cost.