Li-Fan Chen says to YSITD
x :: Int x = 3