Agda binding to bitcoinjs