Type is hard

by Lloyd Wheeler