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