module Test.Size.HList.Index.Ix020 (Fields) where import Test.Infra type Fields = '[ -- 00 .. 09 T "i00" , T "i01" , T "i02" , T "i03" , T "i04" , T "i05" , T "i06" , T "i07" , T "i08" , T "i09" -- 10 .. 19 , T "i10" , T "i11" , T "i12" , T "i13" , T "i14" , T "i15" , T "i16" , T "i17" , T "i18" , T "i19" ]