Say hello to my phantom types.