pattern Var1 :: Raw a (S (S n))
pattern Var1 = Var V1

pattern Var2 :: Raw a (S (S (S n)))
pattern Var2 = Var V2

-------------------------------------------------------------------------------
-- Value
-------------------------------------------------------------------------------

-- | Applications, Forcing terms, 'Let' and 'Error' are not values.
--
-- Unsaturated applications of builtins are also values.
--