NewtypeDeriving

monadTransInstance

monadBaseTransformerInstance

monadTransControlInstance

monadBaseControlTransformerInstance