diff --git a/examples/aiken_std/lib/aiken/context.ak b/examples/aiken_std/lib/aiken/context.ak
index 3cc49644..ba0909b7 100644
--- a/examples/aiken_std/lib/aiken/context.ak
+++ b/examples/aiken_std/lib/aiken/context.ak
@@ -4,14 +4,44 @@ pub type ScriptContext(purpose) {
 }
 
 pub type Transaction {
-  inputs: List(Nil),
+  inputs: List(Input),
+  reference_inputs: List(Input),
   outputs: List(Nil),
-  fee: Nil,
-  mint: Nil,
+  fee: Value,
+  mint: Value,
   certificates: List(Nil),
   withdrawals: List(Nil),
   validity_range: Nil,
   extra_signatories: Nil,
+  redeemers: List(Nil),
   datums: List(Nil),
-  id: ByteArray,
+  id: TransactionId,
 }
+
+pub type TransactionId =
+  ByteArray
+
+pub type Input {
+  output_reference: OutputReference,
+  output: Output,
+}
+
+pub type OutputReference {
+  transction_id: TransactionId,
+  output_index: Int,
+}
+
+pub type PolicyId =
+  ByteArray
+
+pub type Output =
+  Nil
+
+pub type AssetName =
+  ByteArray
+
+pub type Pair(a, b) =
+  Nil
+
+pub type Value =
+  List(Pair(PolicyId, List(Pair(AssetName, Int))))