aToKind :: Int -> Kind
aToKind n | n == 0 = Star
          | n > 0 = KArrow Star (aToKind (n-1))
aToKind :: Int -> Kind
aToKind n | n == 0 = Star
          | n > 0 = KArrow Star (aToKind (n-1))
aToKind n | n == 0 = Star
          | n > 0 = KArrow Star (aToKind (n-1))