Items.hascasl.output revision 49a475aee8bae6c05798d65fddf13ec6da66f0be
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulztype ** :Type ->Type ->Type
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulzvar {a} : c -> d
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulzclass Monad :Type ->Type
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulztype a :Monad := \ t:Type . t -> t