Fixed a bug where for certain models calling AlloyModel cause a fromJust error