@hackage / codet-plugin

GHC type-checker plugin for solving LiftT instances from codet