module Whitespace where

-- The following definition contains several different whitespace
-- characters, and they are all treated as whitespace.

foo :  Set -> Set  ->  Set
foo  x​_	=  x