Is it possible to run ghci monad actions from ghci command line somehow? For example: I would like to check whether "it" variable is of type Bool and whether it is True using normal Haskell code (i.e. not using ghci commands starting with colon like :type :print). Peter.