Obey the (Type) Laws!by@james_32022