Skip to content

Instantly share code, notes, and snippets.

@Lysxia Lysxia/A.hs
Created Sep 2, 2019

Embed
What would you like to do?
{-# LANGUAGE KindSignatures #-}
module A where
class C (f :: * -> * -> *)
module B where
import A
instance C (->)
instance C Either
B.hs:5:1: warning: [-Worphans]
Orphan instance: instance C (->)
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
|
5 | instance C (->)
| ^^^^^^^^^^^^^^^
B.hs:6:1: warning: [-Worphans]
Orphan instance: instance C Either
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
|
6 | instance C Either
| ^^^^^^^^^^^^^^^^^
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.