fix fromJust error in printType