VeriFunctor.lidr 545 Bytes