-{-# LINE 48 "PolyAlu.lhs" #-}
-type Op s a = a -> Vector s a -> a
-type Opcode = Bit
-{-# LINE 56 "PolyAlu.lhs" #-}
-type RegBank s a = Vector (s :+: D1) a
-type RegState s a = State (RegBank s a)
-{-# LINE 64 "PolyAlu.lhs" #-}
-type Word = SizedInt D12
-{-# LINE 76 "PolyAlu.lhs" #-}
-primOp :: (a -> a -> a) -> Op s a
-primOp f a b = a `f` a
-{-# LINE 84 "PolyAlu.lhs" #-}
-vectOp :: (a -> a -> a) -> Op s a
-vectOp f a b = foldl f a b
-{-# LINE 96 "PolyAlu.lhs" #-}
+import qualified Prelude as P
+{-# LINE 52 "PolyAlu.lhs" #-}
+type Op a = a -> a -> a
+type Opcode = Bit
+{-# LINE 60 "PolyAlu.lhs" #-}
+type RegBank s a =
+ Vector (s :+: D1) a
+type RegState s a =
+ State (RegBank s a)
+{-# LINE 68 "PolyAlu.lhs" #-}
+type Word = SizedInt D12
+{-# LINE 88 "PolyAlu.lhs" #-}