(../../../../../../Prelude/package.dhall).`List`.shifted
Bool
[ [ { index = 0, value = True }
  , { index = 1, value = True }
  , { index = 2, value = False }
  ]
, [ { index = 0, value = False }
  , { index = 1, value = False }
  ]
, [ { index = 0, value = True }
  , { index = 1, value = True }
  , { index = 2, value = True }
  , { index = 3, value = True }
  ]
]
