CannotDefinePrimModules Error Example module Prim where module Prim.ShortFailingExample where Cause The Prim namespace is reserved by the compiler. Fix Rename the module to move it outside the Prim namespace: -module Prim.ShortFailingExample where +module ShortFailingExample where