An implementation of the FantasyLand spec