lucaspena/coinduction not found