OpenAFP.Prelude.InstanceAFP