definition module StdT import StdOverloaded :: T instance == T instance < T instance zero T instance + T instance - T instance toInt T instance fromInt T instance toString T instance fromString T