more Type() -> (Type) gistification