LOL; someone has definitely played with type-systems here.