let Prelude = ../imports/Prelude.dhall

let Command = ./type.dhall

let toList
	: ∀(a : Type) → (a → List Text) → Command a → List Text
	=   λ(a : Type)
	  → λ(f : a → List Text)
	  → λ(c : Command a)
	  → [ c.cmd ] # Prelude.List.concatMap a Text f c.args

in  toList