--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Aug 23 10:43:43 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA24371; Tue, 23 Aug 1994 10:43:43 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 7601; Tue, 23 Aug 94 10:43:46 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.TEKE.NOTE.YKTVMV.0681.Aug.23.10:43:45.-0400>
--*           for asbugs@watson; Tue, 23 Aug 94 10:43:46 -0400
--* Received: from piger.matematik.su.se by watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Tue, 23 Aug 94 10:43:45 EDT
--* Received: by piger.matematik.su.se (AIX 3.2/UCB 5.64/4.03)
--*           id AA10148; Tue, 23 Aug 1994 16:27:50 -0500
--* Date: Tue, 23 Aug 1994 16:27:50 -0500
--* From: teke@piger.matematik.su.se (Torsten Ekedahl)
--* Message-Id: <9408232127.AA10148@piger.matematik.su.se>
--* To: asbugs@watson.ibm.com
--* Subject: [5] Function type not working

--@ Fixed  by:  SSD   Mon Sep 19 12:47:02 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Not a bug. If A is a type, then aa: A need not be a type. 


-- Command line: none
-- Version: 0.36.5
-- Original bug file name: hest.as

#include "aslib"

ff(A:Type,aa:A): Category == (aa -> aa) -> (aa -> aa);