userError package:liquidhaskell-boot

Simple unstructured type for panic ----------------------------------------