agda2hs-1.4: lib/base/Haskell/Prim/Strict.agda

module Haskell.Prim.Strict where

open import Haskell.Prim

record Strict (a : Type ℓ) : Type ℓ where
  constructor !_
  field
    force : a
open Strict public

{-# COMPILE AGDA2HS Strict unboxed-strict #-}