ah, need to start untyped and type in later phase