isJustOne (Just a) | a == 1 = True
isJustOne _                 = False

