definition module DefaultElem

import StdEnv

class DefaultElem a
where
	default_elem :: a
	
instance DefaultElem Int
instance DefaultElem Char
instance DefaultElem Bool

//1.3
instance DefaultElem {#a} | ArrayElem, DefaultElem a;
//3.1

/*2.0	
instance DefaultElem {#a} | Array {#} a & DefaultElem a
0.2*/


class DefaultElemU a
where 
	default_elemU :: *a