Haskell type signatures: a double-edged sword