Note that the JavaScript library "uuid" on which this Idris library depends, considers a string a valid UUID string only if can be generated by a UUID algorithm described in the UUID RFCs.
import public UUID