Bool,Int,Integer,Float,Double,String,%
Maybe,Nothing,Just,%
zip,length,Show,show,Num,Eq,print,%
- id},
+ error,id},
morekeywords={forall},
literate=%
+ {forall}{{$\forall$}}1
{\_}{{\raisebox{.15ex}{\_}}}1
{~}{{\raisebox{-.6ex}{\textasciitilde}}}1
{\\}{{$\lambda\:$}}1
{<-}{{$\shortleftarrow$}}2
{=>}{{$\Rightarrow$}}2
{<=}{{$\Leftarrow$}}2
- {'}{{`}}1
{...}{{$\cdots$}}1 %chktex 11
}