Type Reconstruction

by Juan Kafka