\documentclass
  [ a4paper, paper=a4, fontsize=10pt, 
  , headings=normal, numbers=noenddot, headinclude, footinclude
  , listof=totoc, bibliography=totoc, index=totoc
  ]{scrartcl}
\usepackage
  [ a4paper, ignorehead, ignorefoot, ignoremp, asymmetric   %% , showframe
  , left = 4.00cm, right  = 4.00cm
  , top  = 5.55cm, bottom = 5.55cm
  , headsep = 0.5cm, footskip = 1.0cm
  , marginparsep = 0.3cm, marginparwidth = 2cm
  ]{geometry}

%include lhs2TeX.fmt
%include polycode.fmt

\usepackage[dutch,english]{babel}
\usepackage{tocbasic}
\usepackage{stmaryrd}
\usepackage{float}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{stmaryrd}
\usepackage{mathptmx}
\usepackage{mathtools}
\usepackage[toc]{appendix}
\usepackage{natbib}
\usepackage{scrhack}
\usepackage{mathpartir}
\usepackage{hyperref}

\DeclareMathAlphabet{\mathcal}{OMS}{cmsy}{b}{n}  %% mathptmx screws up the mathcal font

\floatstyle{boxed}
\restylefloat{figure}
\setlength{\fboxsep}{1.4pt}

\title{Functional Kennedy-Warren}
\author{Arie Middelkoop}

\begin{document}

%include ../ariem-thesis/warren/warren.lhs

\end{document}