module sdml is

  class Any (T -> None(T))

end