never executed always true always false

    1 module HelVM.HelMA.Automata.LazyK.Constants where
    2 
    3 import           HelVM.HelMA.Automata.LazyK.Lambda
    4 
    5 bCombinator :: Lambda
    6 bCombinator = app3 S appKS K
    7 
    8 appSelfApp :: Lambda -> Lambda
    9 appSelfApp = app4 S I I
   10 
   11 selfApp :: Lambda
   12 selfApp = app3 S I I
   13 
   14 app3SI :: Lambda -> Lambda
   15 app3SI = app3 S I
   16 
   17 appKS :: Lambda
   18 appKS = App K S
   19 
   20 appK :: Lambda -> Lambda
   21 appK = App K
   22 
   23 false :: Lambda
   24 false = App K I
   25 
   26 true :: Lambda
   27 true = K