>>> let example1 = noHeader "hi" :: Headers '[Header "someheader" Int] String >>> getHeaders example1 []