Data.Type->Type