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