Hello, I have the following accessor function, which is not exported out of the module: {-# INLINE left #-} left :: forall k. (Ord k) => Node k ->Node k left NullNode = NullNode left (Node _ l _) = l just for completness the type of Node is data Node k = NullNode | Node k (Node k) (Node k) I have determined upon inspecting the Core from ddump-simpl, that the INLINE pragma makes no difference, as such I would like to ask what's the convention/rule of thumb in the case of INLINE/INLINABLE pragmas on unexported accessor functions? Timo