{
  empty = {
    plugins.idris2.enable = true;
  };
}