pacastega

The arguments `mode` and `buffer` where swapped in the pattern matching in `dogears--format-record`

When trying to `assume` the type of a Haskell function involving type classes: ```haskell module Fold where {-@ assume foldl :: (b -> a -> b) -> b -> t...