2387   We thank Peter Sewell for 

  2387   We thank Peter Sewell for 

  2388   making the informal notes \cite{SewellBestiary} available to us and 

  2388   making the informal notes \cite{SewellBestiary} available to us and 

  2389   also for patiently explaining some of the finer points of the work on the Ott-tool.

  2389   also for patiently explaining some of the finer points of the work on the Ott-tool.

  2390   %Stephanie Weirich suggested to separate the subgrammars

  2390   %Stephanie Weirich suggested to separate the subgrammars

  2391   %of kinds and types in our Core-Haskell example. \\[-6mm] 

  2391   %of kinds and types in our Core-Haskell example. \\[-6mm] 

  2393 *}

  2392 *}

  2394 

  2394 

  2395 (*<*)

  2395 (*<*)

  2396 end

  2396 end

  2397 (*>*)

  2397 (*>*)