Functions implemented in Core-Haskell