riscv-isa-0.0.1.0: Haskell representation of the RISC-V instruction set architecture