{
  version,
  mcabalVersion ? "0.5.3.0-31f1b5dec81561a1b1d36b8e3065ce091dce2ec6",
  rev ? "refs/tags/v${version}",
  hash,
}:

{
  lib,
  buildPackages,
  pkgsBuildBuild,
  callPackage,
  fetchFromGitHub,
  fetchpatch,
  microhs-boot,
  stdenv,
  versionCheckHook,
  writeShellScript,
}:

let
  args = finalAttrs: {
    inherit version;

    src = fetchFromGitHub {
      owner = "augustss";
      repo = "MicroHs";
      fetchSubmodules = true;
      inherit rev hash;
    };

    patches = [
      patches/hugs.patch
      patches/hugs-viewpatterns.patch
    ]
    ++ lib.optional stdenv.hostPlatform.isGnu patches/link-math.patch;

    # The source contains pre-compiled files
    # We delete them to be certain we are building from source
    postPatch = ''
      rm -r generated
    '';

    doInstallCheck = true;

    nativeInstallCheckInputs = [
      versionCheckHook
    ];

    meta = {
      description = "Small compiler for Haskell";
      longDescription = ''
        A compiler for an extended subset of Haskell 2010.
        The compiler translates to combinators and can compile itself.
      '';
      homepage = "https://github.com/augustss/MicroHs";
      license = lib.licensesSpdx."Apache-2.0";
      mainProgram = "mhs";
      maintainers = with lib.maintainers; [
        AlexandreTunstall
        steeleduncan
      ];
      platforms = lib.platforms.all;
    };
  };

  microhs-stage1-build = pkgsBuildBuild.callPackage ./stage1.nix {
    inherit args microhs-boot;
  };

  microhs-stage1 = buildPackages.callPackage ./stage1.nix {
    inherit args microhs-boot;
  };

  microhs-stage2 = callPackage ./stage2.nix {
    inherit
      args
      microcabal-stage1
      microhs-stage1
      cpphs
      ;
  };

  microcabal-stage1 = buildPackages.callPackage ../../tools/haskell/microcabal/${mcabalVersion}.nix {
    microhs = microhs-stage1-build;
  };

  cpphs = buildPackages.callPackage ./cpphs.nix {
    inherit args;
    microhs = microhs-stage2;
  };

in
microhs-stage2