par-transformer: MonadTrans instance plus test harness