Unsolved metas at the following locations:
  InferRecordTypes-4.agda:17,1-4
  InferRecordTypes-4.agda:17,7-25