{-# OPTIONS_GHC -fplugin=TypeLet #-}

module Test.Size.HList.LetAs.LetAs020 where

import TypeLet

import Test.Infra
import Test.Size.HList.Index.Ix020

hlist :: HList Fields
hlist =
    -- 19 .. 10
    case letAs (HCons (MkT @"i19") HNil) of { LetAs (xs19 :: HList t19) ->
    case letAs (HCons (MkT @"i18") xs19) of { LetAs (xs18 :: HList t18) ->
    case letAs (HCons (MkT @"i17") xs18) of { LetAs (xs17 :: HList t17) ->
    case letAs (HCons (MkT @"i16") xs17) of { LetAs (xs16 :: HList t16) ->
    case letAs (HCons (MkT @"i15") xs16) of { LetAs (xs15 :: HList t15) ->
    case letAs (HCons (MkT @"i14") xs15) of { LetAs (xs14 :: HList t14) ->
    case letAs (HCons (MkT @"i13") xs14) of { LetAs (xs13 :: HList t13) ->
    case letAs (HCons (MkT @"i12") xs13) of { LetAs (xs12 :: HList t12) ->
    case letAs (HCons (MkT @"i11") xs12) of { LetAs (xs11 :: HList t11) ->
    case letAs (HCons (MkT @"i10") xs11) of { LetAs (xs10 :: HList t10) ->
    -- 09 .. 00
    case letAs (HCons (MkT @"i09") xs10) of { LetAs (xs09 :: HList t09) ->
    case letAs (HCons (MkT @"i08") xs09) of { LetAs (xs08 :: HList t08) ->
    case letAs (HCons (MkT @"i07") xs08) of { LetAs (xs07 :: HList t07) ->
    case letAs (HCons (MkT @"i06") xs07) of { LetAs (xs06 :: HList t06) ->
    case letAs (HCons (MkT @"i05") xs06) of { LetAs (xs05 :: HList t05) ->
    case letAs (HCons (MkT @"i04") xs05) of { LetAs (xs04 :: HList t04) ->
    case letAs (HCons (MkT @"i03") xs04) of { LetAs (xs03 :: HList t03) ->
    case letAs (HCons (MkT @"i02") xs03) of { LetAs (xs02 :: HList t02) ->
    case letAs (HCons (MkT @"i01") xs02) of { LetAs (xs01 :: HList t01) ->
    case letAs (HCons (MkT @"i00") xs01) of { LetAs (xs00 :: HList t00) ->
      castEqual xs00
    }}}}}}}}}}
    }}}}}}}}}}