hi > > test :: (forall t . (forall a . t a) -> t b) -> b -> b i am not an expert on this, but isnt this rank 3? bye iavor -- ================================================== | Iavor S. Diatchki, Ph.D. student | | Department of Computer Science and Engineering | | School of OGI at OHSU | | http://www.cse.ogi.edu/~diatchki | ==================================================