<div dir="ltr">Hello Uneeb,<div><br></div><div>instances of class Stack are defined for <u>s</u>. empty's <i>return</i> type is <u>s a</u> </div><div><br></div><div><u>empty</u> does not take any arguments. GHCi is confused about <u>empty</u>'s <i>return</i> type.</div><div><br></div><div>option 1:</div><div>try adding <i>return</i> type at prompt e.g.:</div><div>empty::ListStack Int</div><div>instead of just empty</div><div><br></div><div><br></div><div>option 2:<br>​add <u>a</u> as Stack class parameter i.e.:</div><div>class Stack s <u>a</u> where</div><div>   ...</div><div><br></div><div>then if you define only 1 instance, interactive will probably assume that you expect <u>empty</u> to return that (the only one defined) type</div><div><br></div><div>see if this works</div></div>