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