sizeOf' f (TEApp _ (TEUnfold _ _) [arg])             = sizeOf' f arg
sizeOf' f (TEApp _ (TEUnfold _ _) [arg])             = sizeOf' f arg
sizeOf' f (TEApp _ (TEUnfold _ _) [arg])             = sizeOf' f arg