module Test.Size.HList.Index.Ix010 (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"
    ]