Haddock Calculus