Harden Type type signature