Agda.TypeChecking.Serialise
class EmbPrj a