Extensible implementation of the RISC-V ISA based on FreeMonads - View it on GitHub