: The value Simple.BadlyTypedPlugin.plugin with type GHC.Types.Int did not have the type GHC.Plugins.Plugin as required