Working towards proper type member checking...