Data types à la carte

Paper implementation in Scala