Type inference when adapting examples in antoine-coulon/effect-introduction - Effect Community