types are interesting