Skip to content

Instantly share code, notes, and snippets.

@klapaucius

klapaucius/gist:1393019

Created November 25, 2011 07:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save klapaucius/1393019 to your computer and use it in GitHub Desktop.
Save klapaucius/1393019 to your computer and use it in GitHub Desktop.
Download ZIP
true-signature
Raw
gistfile1.hs
{-# LANGUAGE ScopedTypeVariables #-}
foo :: forall a. Eq a => [a] -> Bool
foo (x:y:_) = x == y
foo [_] = foo ([] :: [a])
foo [] = False
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment