module Test.Size.Ap.Index.Ix020 (F) where

import Test.Infra

type F r =
       -- 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"
    -> r