Port of the Validation Library to Idris