林一二2023年08月16日 18:39
元灯神允许「许一个无类型愿望」，其实意思是说可以许任何类型的愿望，因为所有类型都是都是无类型（Any）的子类。而能接受某个类，就意味着接受它的所有子类。
那么有没有稍微弱一些的类型呢？类比Lean的类型宇宙，包含「愿望1」类型的愿望就是「愿望2」了，比如说有个类型为「愿望1」的愿望是：「我想能够许三个愿望」，那么一个类型为「愿望2」的愿望就是：
「我想拥有一种超能力，能立即定位到其它许了『我想能够许三个愿望』这种愿望的人，并传送到他们旁边抹杀他们」。（圆神看了都流泪）