main was lonely without its type