--data A = A -- example will not work if this line is commented
笑 :: [a] -> Int
笑 = length