Issue278.err

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