Agda.Syntax.Strict

class Strict a

($!!)

strict