Type error: error: error
 --> <current file>:1:1
  |
1 | ./not-a-file.dhall
  | ^^^^^^^^^^^^^^^^^^ No such file or directory (os error 2)
  |