#lang sml structure FunId = IdFn()