functor (F : INTERNAL-> sig end