haskell-concepts Theory ST Monad Haskell Template Foreign Function Interface Examples Library hs-concepts