From 23b2a4376d159f842135227c45fd2226fafa2dee Mon Sep 17 00:00:00 2001
From: Yuri Tatishchev <itatishch@gmail.com>
Date: Sun, 1 Mar 2026 22:50:44 -0800
Subject: [PATCH] lab07: impl applicative

---
 lab07/facetedValues.lhs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lab07/facetedValues.lhs b/lab07/facetedValues.lhs
index 71695d5..c2daace 100644
--- a/lab07/facetedValues.lhs
+++ b/lab07/facetedValues.lhs
@@ -69,7 +69,8 @@ Define the behavior of the Functor below
 
 > instance Applicative FacetedValue where
 >   pure = Raw
->   fv1 <*> fv2 = error "Your code here"
+>   Raw f <*> fv2 = fmap f fv2
+>   Facet label auth unauth <*> fv2 = Facet label (auth <*> fv2) (unauth <*> fv2)
 
 
 The code below gives an example of how this might come up.  If code authorized