structure Dummy = struct
    type t = unit
    val v = ()
    fun f () = raise Fail "notyet"
end