Issue278.agda:4,1-11,19 Using abstract here has no effect. Move it to the definitions to make them abstract.