Yeah, I thought the consensus about dual-type theory was that it fucking sucks and shouldn't be paid attention to...

I mean, 256 types is too many, not elegant, and totally useless.