(un)sound type system

ULTRAKILL-inspired something