A type experiment

by Álvaro Melgosa