The ultimate type-level trickery