FIX: fill not-exhaustive pattern-matching