type MyUnit = ()