Have custom type errors imply Void

This is a very minor issue, but TypeError (CustomTypeErrors) should entail a constraint like

import Data.Void

class (forall x. x) => No where
  no :: Void

so users don't have to use undefined or error ..:

instance TypeError (Text "Can't show functions") => Show (a -> b) where
  show :: (a -> b) -> String
  show = no & absurd

Edited Mar 10, 2019 by Icelandjack

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information