Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
unsafeCoerce from TypeFamilies and GeneralizedNewtypeDeriving
{-# LANGUAGE TypeFamilies, GeneralizedNewtypeDeriving #-}
type family Switch b a
type instance Switch b (A a) = a
type instance Switch b (B a) = b
newtype A a = A a
newtype B a = B (A a)
deriving (Switchable)
class Switchable a where
switch :: a -> Switch b a
instance Switchable (A a) where
switch (A x) = x
unsafeCoerce :: a -> b
unsafeCoerce x = switch (B (A x))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.