Agda.Syntax.Strict
class Strict a