type list iteration example

Generate.hs

generate :: [e] -> [Structure e]
generate objs =
  let (otStrs, objs2) = generateFrom @OT objs
      (ttStrs, objs3) = generateFrom @TT objs2
      (btStrs, objs4) = generateFrom @BT objs3
      (lStrs, _) = generateFrom @L objs4
  in otStrs ++ ttStrs ++ btStrs ++ lStrs

-- first element of the tuple is all the structures that could be generated from the given list of objects
-- second element is all the objects that remain, i.e., that weren't used to generate one of the structures
generateFrom :: forall f. Generatable f => [e] -> ([Structure e], [e])
generateFrom objs = ...