Free -> FreeId
Document pure and suspend