add specs for type class