More type level fiddling