Haskell and Idris solutions
Added statement of no true scottsman