added import to protoCast.hs