Type identity

by Santiago Mendez