<div dir="ltr">Hi,<br><br>In Haskell, a strict application can be defined by<br><br>($!) ∷ (a → b) → a → b<br>f $! x = x `seq` f x<br><br>Is it possible to define a strict application in Agda?<br><br>Thanks,<br><br>-- <br>

<div dir="ltr">Andrés<br></div>
</div>