typecheck after getting the get and put instances for spikes