@hackage Checked0.0.0.1

Inbuilt checking for ultra reliable computing