(functor ((algebraic-structures functor) (F (map1))) (map1)
  (import (only F map1)))