cradle: bios: {program: ./hie-bios.sh, with-ghc: ghc }