Inject

Data types a la carteという論文で紹介されている、Freeモナドを合成する際につかうものです。 Inject自体は、データ型ではなく型クラスです。