#lang sml
structure TyCon		= IdFn()