OpenAFP.Prelude.InstanceAFP.B