TerminationRecordPatternCoerce.agda:43,1-47,20
Termination checking failed for the following functions:
  f
Problematic calls:
  f (isCons (t unit)) (t unit) refl
    (at TerminationRecordPatternCoerce.agda:45,32-33)
TerminationRecordPatternCoerce.agda:55,1-59,35
Termination checking failed for the following functions:
  f'
Problematic calls:
  f' (isCons (t (subst p unit))) (t (subst p unit)) refl
    (at TerminationRecordPatternCoerce.agda:57,27-29)
