SharedTypeVariable.scl

   1 // Idea here is that the type variable in the top level type annotation
   2 // and the type annotation in the expression should be the same type.
   3 id :: a -> a
   4 id x = (x :: a)
   5
   6 main = id "OK"
   7 --
   8 OK