Type error: error: IfBranchMustBeTerm
 --> <current file>:1:1
  |
1 | if True then Type else Type
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ IfBranchMustBeTerm
  |