added Hask/Prof and a workaround to Hask/Category, but the workaround shouldn't be necessary =(