functor (P : Param-> Acyclic_t