We want to be able to say using .ThCategory and have access to compose, id etc., but for theories with names which conflict with Base (e.g. +), we'd still have to qualify those names because of the name collision. This could be addressed by allowing @instance to know for certain methods if you want to extend methods from some preexisting module (and perhaps we do this with Base no matter what when there is a collision).
We want to be able to say
using .ThCategoryand have access tocompose, idetc., but for theories with names which conflict withBase(e.g.+), we'd still have to qualify those names because of the name collision. This could be addressed by allowing@instanceto know for certain methods if you want to extend methods from some preexisting module (and perhaps we do this withBaseno matter what when there is a collision).