isJust package:row-types

A pattern for variants; can be used to both destruct a variant when in a pattern position or construct one in an expression position.