tmUnfold :: AsTmIsoRec ki ty pt tm => Type ki ty a -> Term ki ty pt tm a -> Term ki ty pt tm a
tmUnfold = curry $ review _TmUnfold
tmUnfold :: AsTmIsoRec ki ty pt tm => Type ki ty a -> Term ki ty pt tm a -> Term ki ty pt tm a
tmUnfold = curry $ review _TmUnfold
tmUnfold = curry $ review _TmUnfold