split Hask into Core and Prof