Works with ghci