gistfile1.txt

interpE (PrimE p)           = interpE l where 
  a = App (PrimE p) [Var (B 0), Var (B 1)]
  l = Lambda [Variable "x", Variable "y"] (abstract (^? _B) a)

src/L/L5/L5Interp.hs:60:39:
    Could not deduce (a ~ Var Int a0)
    from the context (MonadHOComputer c m (L5Runtime a))
      bound by the type signature for
                 interpE :: (MonadHOComputer c m (L5Runtime a)) =>
                            E a -> m (L5Runtime a)
      at src/L/L5/L5Interp.hs:47:12-70
      ‘a’ is a rigid type variable bound by
          the type signature for
            interpE :: (MonadHOComputer c m (L5Runtime a)) =>
                       E a -> m (L5Runtime a)
          at src/L/L5/L5Interp.hs:47:12
    Expected type: E a
      Actual type: E (Var Int a0)
    Relevant bindings include
      l :: E (Var Int a0) (bound at src/L/L5/L5Interp.hs:62:3)
      a :: E (Var Int a0) (bound at src/L/L5/L5Interp.hs:61:3)
      interpE :: E a -> m (L5Runtime a)
        (bound at src/L/L5/L5Interp.hs:48:1)
    In the first argument of ‘interpE’, namely ‘l’
    In the expression: interpE l
Failed, modules loaded: L.L1L2AST, L.Read, L.Registers, L.SExpr, L.Utils, L.Interpreter.ComputationResult, L.Interpreter.Memory, L.Interpreter.HOComputer, L.Interpreter.Output, L.Interpreter.Runtime, L.L3.L3AST, L.L5.L5AST.