
  0 | module LinearAnd
  1 | 
  2 | import Data.Linear.Interface
  3 | import Data.Linear.Notation
  4 | 
  5 | export infixr 5 -&&
  6 | 
  7 | export
  8 | (-&&) : (1 _ : Bool) -> (1 _ : Lazy Bool) -> Bool
  9 | True -&& r = r
 10 | False -&& r = seq r False
 11 |