Agda.TypeChecking.SizedTypes.Utils
debug
trace
traceM
class Top a
class Plus a b c
class MeetSemiLattice a
class Dioid a