Playing with own derivation for a pattern family