eu.timepit.refined
Module for statically checking constructors of types that can be instantiated with Strings.
String
Module for date and time related refined types.