OpenAFP.Prelude.InstanceAFP.M