Static annotations for Kittens for people who don't like to write semiautomatic derivations into companion objects themselves.