dhall-1.42.0: tests/to-directory-tree/fixpoint-empty.dhall

let Make = (./fixpoint-helper.dhall).Make

in  \(r : Type) -> \(make : Make r) -> [] : List r