functor (Config : ConfigInt.Type) -> Interface