Type class code (writting on progress)