1 \lstdefinelanguage{Clean}{%
2 alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
3 alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
5 alsodigit={1234567890},
6 morekeywords={generic,implementation,definition,dynamic,module,import,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,code,In,qualified,otherwise,from,foreign,export,ccall,stdcall},
9 morecomment=[n]{/*}{*/},
11 morestring=[s]{['}{']},
13 {\_}{{\raisebox{.15ex}{\_}}}1
14 % {\~}{{\raisebox{-.6ex}{\textasciitilde}}}1
15 {~}{{\textasciitilde}}1
17 {->}{{$\shortrightarrow$}}2
18 {=>}{{$\Rightarrow$}}2