cleff-plugin: Automatic disambiguation for extensible effects

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Please see the README on GitHub at

[Skip to Readme]


Change log
Dependencies base (>=4.12 && <4.17), cleff (>=0.1 && <0.4), containers (>=0.5 && <0.7), ghc (>=8.6 && <9.3), ghc-tcplugins-extra (>=0.3 && <0.5) [details]
License BSD-3-Clause
Copyright 2022 Xy Ren
Author Xy Ren
Category Control, Effect, Language
Home page
Bug tracker
Source repo head: git clone
Uploaded by daylily at 2022-03-13T09:56:05Z




Maintainer's Corner

For package maintainers and hackage trustees

Readme for cleff-plugin-

[back to package description]


This GHC typechecking plugin disambiguates obvious usages of effects for the extensible effect framework cleff.


This plugin works with GHC 8.6 through 9.2 and cleff >= 0.1 && < 0.4. To use the plugin:

  1. Add this plugin as your package's dependency.
    • If you use stack, then you also need to add these lines your stack.yaml:
      - cleff-plugin-
  2. Enable the plugin by adding the following GHC option to your project file:
    ghc-options: -fplugin=Cleff.Plugin

What it does

When using cleff, the following code would not compile:

action :: '[State Int, State String] :>> es => Eff es ()
action = do
  x <- get
  put (x + 1)
-- • Could not deduce (Cleff.Internal.Rec.Elem (State s0) es)
--     arising from a use of ‘get’

This is because GHC is unable to determine which State effect we're trying to operate on, although the only viable choice is State Int. We had to write:

action :: '[State Int, State String] :>> es => Eff es ()
action = do
  x <- get @Int
  put (x + 1)

This is quite unwieldy. This plugin tells GHC extra information so code like this can typecheck without requiring manually annotating which effect to use.


This plugin's design is largely inspired by polysemy-plugin, which is in turn based on simple-effects.

Refer to docs/ for details on the disambiguation algorithm this typecheck plugin uses.