use fromJust instead of lambda