This type is on the upcoming Logic Masters India test, called "Typed Logic," written by some fellow members of Puzzlers' Club. Persistence of Memory is a type I don't have much experience with, but it was fun to write. Unfortunately, the type isn't on puzz.link, so I can only offer an image; still, enjoy!