A type experiments

by Álvaro Melgosa