Carnap – A formal logic framework for Haskell