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