OpenAFP.Prelude.InstanceAFP.G