Agda.Syntax.Strict
class
Strict
a
($!!)
strict