OpenAFP.Prelude.InstanceT