dzen-dhall-1.0.0: dhall/types/StateMap.dhall

let State = ./State.dhall

let StateMap : Type → Type = λ(Bar : Type) → List { state : State, bar : Bar }

in  StateMap