Halgaskell presentations